# HG changeset patch
# User haftmann
# Date 1184081457 -7200
# Node ID ecce78dfdfc50df752bc51626e1ae94bc056bfb2
# Parent  49b08f25db296fe20be67914434635c1d6c7bb0b
clarified merge of module names

diff -r 49b08f25db29 -r ecce78dfdfc5 src/Pure/Tools/codegen_serializer.ML
--- a/src/Pure/Tools/codegen_serializer.ML	Tue Jul 10 17:30:56 2007 +0200
+++ b/src/Pure/Tools/codegen_serializer.ML	Tue Jul 10 17:30:57 2007 +0200
@@ -1489,7 +1489,7 @@
 fun merge_syntax_modl (SyntaxModl { alias = alias1, prolog = prolog1 },
     SyntaxModl { alias = alias2, prolog = prolog2 }) =
   mk_syntax_modl (
-    Symtab.merge (op =) (alias1, alias2),
+    Symtab.merge (K true) (alias1, alias2),
     Symtab.merge (op =) (prolog1, prolog2)
   );