src/HOL/Tools/SMT/smtlib_interface.ML

--- a/src/HOL/Tools/SMT/smtlib_interface.ML	Sat Jan 08 17:14:48 2011 +0100
+++ b/src/HOL/Tools/SMT/smtlib_interface.ML	Sat Jan 08 17:30:05 2011 +0100
@@ -81,7 +81,7 @@
   type T = (int * (term list -> string option)) list
   val empty = []
   val extend = I
-  fun merge (bs1, bs2) = Ord_List.union fst_int_ord bs2 bs1
+  fun merge data = Ord_List.merge fst_int_ord data
 )
 
 fun add_logic pf = Logics.map (Ord_List.insert fst_int_ord pf)