diff -r bd5998ee8876 -r ff4d26b7e51d stage3/stage3.hh
--- a/stage3/stage3.hh	Mon Feb 13 17:04:29 2012 +0000
+++ b/stage3/stage3.hh	Thu Feb 16 10:27:52 2012 +0000
@@ -35,4 +35,4 @@
 
 
 int stage3(symbol_c *tree_root);
-int type_safety(symbol_c *tree_root);
+