# HG changeset patch
# User wenzelm
# Date 1408285444 -7200
# Node ID a18a351132b7669e7efa9bec086297d6766a961f
# Parent  3dfc1bf3ac3da336e2eea798c8e2fbe89e1b9bba
made SML/NJ happy;

diff -r 3dfc1bf3ac3d -r a18a351132b7 src/Pure/Tools/named_theorems.ML
--- a/src/Pure/Tools/named_theorems.ML	Sat Aug 16 22:14:57 2014 +0200
+++ b/src/Pure/Tools/named_theorems.ML	Sun Aug 17 16:24:04 2014 +0200
@@ -25,7 +25,7 @@
   type T = thm Item_Net.T Symtab.table;
   val empty: T = Symtab.empty;
   val extend = I;
-  val merge = Symtab.join (K Item_Net.merge);
+  val merge : T * T -> T = Symtab.join (K Item_Net.merge);
 );
 
 fun new_entry name =