fixed a typo in the gfp interpreter
authorwebertj
Fri Jun 03 14:35:33 2005 +0200 (2005-06-03)
changeset 16200447c06881fbb
parent 16199 ee95ab217fee
child 16201 7bb51c8196cb
fixed a typo in the gfp interpreter
src/HOL/Tools/refute.ML
     1.1 --- a/src/HOL/Tools/refute.ML	Fri Jun 03 12:41:28 2005 +0200
     1.2 +++ b/src/HOL/Tools/refute.ML	Fri Jun 03 14:35:33 2005 +0200
     1.3 @@ -2363,7 +2363,7 @@
     1.4  					  Node (map (fn (x,y) => if x=TT orelse y=TT then TT else FF) 
     1.5  					       (xs ~~ ys))
     1.6  				  | union (_, _) =
     1.7 -					raise REFUTE ("Lfp_lfp_interpreter", "union: interpretation for set is not a node")
     1.8 +					raise REFUTE ("Gfp_gfp_interpreter", "union: interpretation for set is not a node")
     1.9  				(* interpretation -> interpretaion *)
    1.10  				fun gfp (Node resultsets) =
    1.11  					foldl (fn ((set, resultset), acc) =>