libInit.cc
changeset 4239 28956dce087b
parent 4227 ff28714fca33
child 4485 ed4872ed41df
--- a/libInit.cc	Mon Nov 11 18:01:47 2002 +0100
+++ b/libInit.cc	Mon Nov 11 18:54:11 2002 +0100
@@ -1,6 +1,6 @@
 /*
  * DO NOT EDIT 
- * automatically generated from Make.proto (by make libInit.cc)
+ * automagically generated from Make.proto (by make libInit.cc)
  */
 #define __INDIRECTVMINITCALLS__
 #include <stc.h>