# HG changeset patch
# User haftmann
# Date 1255514596 -7200
# Node ID 980f5aa0d2d727ecf2113738e96235dd6c57bbe7
# Parent  d2e9b2dab760bc3ea639b44fa1593b3b3ac46073
tuned whitespace

diff -r d2e9b2dab760 -r 980f5aa0d2d7 src/Tools/Code/code_haskell.ML
--- 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