src/Tools/nbe.ML

--- a/src/Tools/nbe.ML	Mon Oct 19 16:47:21 2009 +0200
+++ b/src/Tools/nbe.ML	Mon Oct 19 21:54:57 2009 +0200
@@ -303,7 +303,7 @@
     fun subst_nonlin_vars args =
       let
         val vs = (fold o Code_Thingol.fold_varnames)
-          (fn v => AList.map_default (op =) (v, 0) (curry (op +) 1)) args [];
+          (fn v => AList.map_default (op =) (v, 0) (Integer.add 1)) args [];
         val names = Name.make_context (map fst vs);
         fun declare v k ctxt = let val vs = Name.invents ctxt v k
           in (vs, fold Name.declare vs ctxt) end;