# HG changeset patch
# User bulwahn
# Date 1307621772 -7200
# Node ID e83695ea0e0a74535cc45a9795b4ed7c0d31cb07
# Parent  9970a4580d1306aa317c5c2833c13c54c028ff0d
resolving an issue with class instances that are pseudo functions in the OCaml code serializer

diff -r 9970a4580d13 -r e83695ea0e0a src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Thu Jun 09 11:57:39 2011 +0200
+++ b/src/Tools/Code/code_ml.ML	Thu Jun 09 14:16:12 2011 +0200
@@ -575,7 +575,8 @@
             (concat (
               str definer
               :: (str o deresolve) inst
-              :: print_dict_args vs
+              :: (if is_pseudo_fun inst then [str "()"]
+                  else print_dict_args vs)
               @ str "="
               @@ brackets [
                 enum_default "()" ";" "{" "}" (map print_super_instance super_instances