@@ -1,17 +1,17 @@
-/* javaglb.h:  Copyright (C) Codemist Ltd., 1996.                       */
-
-extern int debugging;
- 
-extern void jsyserr(char *fmt, ...);
-extern void jdebug(char *fmt, ...);
-extern void *jmalloc(unsigned32 n);
-extern void *jfree(void *p);
-extern ClassFile *rdClassFile(char *name);
-extern ClassFile *rdClassFILE1(FILE *file, char *name);
-extern void javaint(ClassFile *);
-extern void javadecode(unsigned8 *code, unsigned32 len, Cp_Info *cp, unsigned32 cplen);
-extern char *jdecodeopname(unsigned32 op);
-extern ClassFile java_PrintStream;
-
-/* end of javaglb.h */
+/* javaglb.h:  Copyright (C) Codemist Ltd., 1996.                       */
+
+extern int debugging;
+ 
+extern void jsyserr(char *fmt, ...);
+extern void jdebug(char *fmt, ...);
+extern void *jmalloc(unsigned32 n);
+extern void *jfree(void *p);
+extern ClassFile *rdClassFile(char *name);
+extern ClassFile *rdClassFILE1(FILE *file, char *name);
+extern void javaint(ClassFile *);
+extern void javadecode(unsigned8 *code, unsigned32 len, Cp_Info *cp, unsigned32 cplen);
+extern char *jdecodeopname(unsigned32 op);
+extern ClassFile java_PrintStream;
+
+/* end of javaglb.h */