src/Pure/Isar/term_style.ML
changeset 15961 24c6b96b4a2f
parent 15960 9bd6550dc004
child 15990 4ef32dcbb44f
     1.1 --- a/src/Pure/Isar/term_style.ML	Sat May 14 21:31:13 2005 +0200
     1.2 +++ b/src/Pure/Isar/term_style.ML	Sun May 15 21:04:10 2005 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4    val empty = Symtab.empty;
     1.5    val copy = I;
     1.6    val prep_ext = I;
     1.7 -  val merge = Symtab.merge (K true);
     1.8 +  fun merge x = Symtab.merge (K true) x;
     1.9    fun print _ table =
    1.10      Pretty.strs ("defined styles:" :: (Symtab.keys table))
    1.11      |> Pretty.writeln;