src/HOL/Tools/refute.ML

--- a/src/HOL/Tools/refute.ML	Sat Jan 08 16:01:51 2011 +0100
+++ b/src/HOL/Tools/refute.ML	Sat Jan 08 17:14:48 2011 +0100
@@ -221,7 +221,7 @@
      {interpreters = in2, printers = pr2, parameters = pa2}) : T =
     {interpreters = AList.merge (op =) (K true) (in1, in2),
      printers = AList.merge (op =) (K true) (pr1, pr2),
-     parameters = Symtab.merge (op=) (pa1, pa2)};
+     parameters = Symtab.merge (op =) (pa1, pa2)};
 );
 
 val get_data = Data.get o ProofContext.theory_of;