read_var;

--- a/src/Pure/Syntax/syn_trans.ML	Mon Mar 09 16:11:13 1998 +0100
+++ b/src/Pure/Syntax/syn_trans.ML	Mon Mar 09 16:11:28 1998 +0100
@@ -332,7 +332,7 @@
               raise exn));
 
     fun term_of (Constant a) = trans a []
-      | term_of (Variable x) = scan_var x
+      | term_of (Variable x) = read_var x
       | term_of (Appl (Constant a :: (asts as _ :: _))) =
           trans a (map term_of asts)
       | term_of (Appl (ast :: (asts as _ :: _))) =