implemented subroutine verification (Coglio's method) + several verifier fixes

[cacao.git] / main.h

diff --git a/main.h b/main.h
index 850e33e66f2a561517b42d6ad4751d253257f2cc..915f25b6153a0a350d85fb5893bb6566f4f40a73 100644 (file)
--- a/main.h
+++ b/main.h
@@ -27,7 +27,7 @@
 
    Authors: Christian Thalinger
 
-   $Id: main.h 749 2003-12-13 22:14:42Z twisti $
+   $Id: main.h 841 2004-01-05 00:43:03Z twisti $
 
 */
 
@@ -79,6 +79,13 @@ extern bool makeinitializations;
 extern bool getloadingtime;
 extern s8 loadingtime;
 
+extern bool getcompilingtime;
+extern s8 compilingtime;
+
+extern int has_ext_instr_set;
+
+extern bool statistics;
+
 #endif /* _MAIN_H */