Changed the file name in the header to std_cases.i.
Authored by: cbaoqiu 1999-04-27
Parent: [r679]
Child: [r681]
