diff -r d926ee71f228 -r 0b472e25eb16 absyntax/absyntax.cc
--- a/absyntax/absyntax.cc	Mon Feb 12 14:06:59 2007 +0100
+++ b/absyntax/absyntax.cc	Wed Feb 14 19:57:01 2007 +0100
@@ -38,8 +38,6 @@
 
 
 
-symbol_c *tree_root = NULL;
-