* Removed all Id tags.

[cacao.git] / src / vm / jit / verify / typecheck.h

diff --git a/src/vm/jit/verify/typecheck.h b/src/vm/jit/verify/typecheck.h
index f81e8a34fdea168f7a8e6671e3bf7ca58f1a9d42..01492ea53e041e4314d43d9caaea139a5b253509 100644 (file)
--- a/src/vm/jit/verify/typecheck.h
+++ b/src/vm/jit/verify/typecheck.h
@@ -26,7 +26,6 @@
 
    Authors: Christian Thalinger
 
-   $Id: typecheck.h 4699 2006-03-28 14:52:32Z twisti $
 
 */
 
@@ -42,7 +41,10 @@
 
 /* function prototypes ********************************************************/
 
+#if defined(ENABLE_VERIFIER)
 bool typecheck(jitdata *jd);
+bool typecheck_stackbased(jitdata *jd);
+#endif
 
 #endif /* _TYPECHECK_H */