src/Tools/Code/code_ml.ML
changeset 32926 342d89e5a808
parent 32924 d2e9b2dab760
child 33038 8f9594c31de4
--- a/src/Tools/Code/code_ml.ML	Wed Oct 14 12:03:16 2009 +0200
+++ b/src/Tools/Code/code_ml.ML	Wed Oct 14 12:04:16 2009 +0200
@@ -529,7 +529,7 @@
                     val consts = fold Code_Thingol.add_constnames (map (snd o fst) eqs) [];
                     val vars = reserved
                       |> intro_base_names
-                      (is_none o syntax_const) deresolve consts;
+                          (is_none o syntax_const) deresolve consts;
                     val dummy_parms = (map str o aux_params vars o map (fst o fst)) eqs;
                   in
                     Pretty.block (