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/invoke.ML
changeset 24680 0d355aa59e67
parent 24493 d4380e9b287b
child 24693 fe88913f3706 
--- a/src/Pure/Tools/invoke.ML	Sun Sep 23 22:23:24 2007 +0200
+++ b/src/Pure/Tools/invoke.ML	Sun Sep 23 22:23:27 2007 +0200
@@ -100,7 +100,7 @@
 
 fun infer_terms ctxt =
   Syntax.check_terms ctxt o
-    (map (fn (t, T) => TypeInfer.constrain t (TypeInfer.paramify_vars T)));
+    (map (fn (t, T) => TypeInfer.constrain (TypeInfer.paramify_vars T) t));
 
 in
isabelle