made SML/NJ happy;
authorwenzelm
Sun Aug 17 16:24:04 2014 +0200 (2014-08-17)
changeset 57965a18a351132b7
parent 57964 3dfc1bf3ac3d
child 57966 6fab7e95587d
made SML/NJ happy;
src/Pure/Tools/named_theorems.ML
     1.1 --- a/src/Pure/Tools/named_theorems.ML	Sat Aug 16 22:14:57 2014 +0200
     1.2 +++ b/src/Pure/Tools/named_theorems.ML	Sun Aug 17 16:24:04 2014 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4    type T = thm Item_Net.T Symtab.table;
     1.5    val empty: T = Symtab.empty;
     1.6    val extend = I;
     1.7 -  val merge = Symtab.join (K Item_Net.merge);
     1.8 +  val merge : T * T -> T = Symtab.join (K Item_Net.merge);
     1.9  );
    1.10  
    1.11  fun new_entry name =