changeset 17496 | 26535df536ae |
parent 17412 | e26cb20ef0cc |
child 18708 | 4b3dadb4fe33 |
--- a/src/Pure/Isar/term_style.ML Tue Sep 20 08:20:22 2005 +0200 +++ b/src/Pure/Isar/term_style.ML Tue Sep 20 08:21:49 2005 +0200 @@ -28,7 +28,7 @@ val empty = Symtab.empty; val copy = I; val extend = I; - fun merge _ tabs = Symtab.merge eq_snd tabs + fun merge _ tabs = Symtab.merge (eq_snd (op =)) tabs handle Symtab.DUPS dups => err_dup_styles dups; fun print _ tab = Pretty.writeln (Pretty.strs ("antiquote styles:" :: Symtab.keys tab)); end);