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/Tools/am_interpreter.ML
changeset 17412 e26cb20ef0cc
parent 16842 5979c46853d1
child 17795 5b18c3343028 
--- a/src/Pure/Tools/am_interpreter.ML	Thu Sep 15 17:16:55 2005 +0200
+++ b/src/Pure/Tools/am_interpreter.ML	Thu Sep 15 17:16:56 2005 +0200
@@ -107,7 +107,7 @@
 fun match_closure prog clos =
     case len_head_of_closure 0 clos of
         (len, CConst c) =>
-        (case prog_struct.lookup (prog, (c, len)) of
+        (case prog_struct.lookup prog (c, len) of
             NONE => NONE
           | SOME rules => match_rules 0 rules clos)
       | _ => NONE
isabelle