--- a/libInit.cc Wed Sep 22 21:09:36 1999 +0200
+++ b/libInit.cc Thu Sep 23 09:00:28 1999 +0200
@@ -1,6 +1,6 @@
/*
* DO NOT EDIT
- * automatically generated from Make.proto
+ * automatically generated from Make.proto (by make libInit.cc)
*/
#define __INDIRECTVMINITCALLS__
#include <stc.h>