Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace
authorhaftmann
Wed, 14 Oct 2009 12:04:16 +0200
changeset 32926 342d89e5a808
parent 32925 980f5aa0d2d7
child 32927 7a20fd22ba01
tuned whitespace
src/Tools/Code/code_ml.ML file | annotate | diff | comparison | revisions 
--- 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 (
isabelle