# HG changeset patch
# User bulwahn
# Date 1304326209 -7200
# Node ID 1a82b0400b2a6f4b119439e12e56bbfe4b9eb455
# Parent  85ca44488a29bc43db043171d053ab90fcc74298
improving naming of fresh variables in OCaml serializer

diff -r 85ca44488a29 -r 1a82b0400b2a src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Mon May 02 10:50:07 2011 +0200
+++ b/src/Tools/Code/code_ml.ML	Mon May 02 10:50:09 2011 +0200
@@ -483,6 +483,8 @@
               let
                 val consts = fold Code_Thingol.add_constnames (t :: ts) [];
                 val vars = reserved
+                  |> intro_base_names
+                      (is_none o const_syntax) deresolve consts
                   |> intro_vars ((fold o Code_Thingol.fold_varnames)
                       (insert (op =)) ts []);
               in concat [