# HG changeset patch
# User webertj
# Date 1117802133 -7200
# Node ID 447c06881fbbca612d909e58f7c85676c0166159
# Parent  ee95ab217fee0a30b3525de8060cd562d8873017
fixed a typo in the gfp interpreter

diff -r ee95ab217fee -r 447c06881fbb src/HOL/Tools/refute.ML
--- a/src/HOL/Tools/refute.ML	Fri Jun 03 12:41:28 2005 +0200
+++ b/src/HOL/Tools/refute.ML	Fri Jun 03 14:35:33 2005 +0200
@@ -2363,7 +2363,7 @@
 					  Node (map (fn (x,y) => if x=TT orelse y=TT then TT else FF) 
 					       (xs ~~ ys))
 				  | union (_, _) =
-					raise REFUTE ("Lfp_lfp_interpreter", "union: interpretation for set is not a node")
+					raise REFUTE ("Gfp_gfp_interpreter", "union: interpretation for set is not a node")
 				(* interpretation -> interpretaion *)
 				fun gfp (Node resultsets) =
 					foldl (fn ((set, resultset), acc) =>