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:03:16 +0200
changeset 32925 980f5aa0d2d7
parent 32924 d2e9b2dab760
child 32926 342d89e5a808
tuned whitespace
src/Tools/Code/code_haskell.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/code_haskell.ML	Wed Oct 14 11:56:44 2009 +0200
+++ b/src/Tools/Code/code_haskell.ML	Wed Oct 14 12:03:16 2009 +0200
@@ -149,7 +149,7 @@
                   |> intro_base_names
                       (is_none o syntax_const) deresolve consts
                   |> intro_vars ((fold o Code_Thingol.fold_varnames)
-                       (insert (op =)) ts []);
+                      (insert (op =)) ts []);
               in
                 semicolon (
                   (str o deresolve_base) name
isabelle