author | berghofe |
Sun, 15 May 2005 21:04:10 +0200 | |
changeset 15961 | 24c6b96b4a2f |
parent 15960 | 9bd6550dc004 |
child 15962 | a3288211965a |
--- a/src/Pure/Isar/term_style.ML Sat May 14 21:31:13 2005 +0200 +++ b/src/Pure/Isar/term_style.ML Sun May 15 21:04:10 2005 +0200 @@ -22,7 +22,7 @@ val empty = Symtab.empty; val copy = I; val prep_ext = I; - val merge = Symtab.merge (K true); + fun merge x = Symtab.merge (K true) x; fun print _ table = Pretty.strs ("defined styles:" :: (Symtab.keys table)) |> Pretty.writeln;