1.1 --- a/src/Tools/isac/Knowledge/Atools.thy	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Atools.thy	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -504,7 +504,7 @@
     1.4     as the fst argument;
     1.5     this is, because Isabelles filter takes more than 1 sec.*)
     1.6  fun same_funid f1 (Const ("op =", _) $ (f2 $ _) $ _) = f1 = f2
     1.7 -  | same_funid f1 t = raise error ("same_funid called with t = ("
     1.8 +  | same_funid f1 t = error ("same_funid called with t = ("
     1.9  				   ^term2str f1^") ("^term2str t^")");
    1.10  (*("filter_sameFunId" ,("Atools.filter'_sameFunId",
    1.11  		   eval_filter_sameFunId "Atools.filter'_sameFunId"))*)