diff -r 5b168969ffe0 -r 0d355aa59e67 src/Pure/Tools/invoke.ML
--- 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