Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/syn_trans.ML
changeset 4700 20ade76722d6
parent 4148 e0e5a2820ac1
child 5084 a676ada3b380 
--- 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 _ :: _))) =
isabelle