1.1 --- a/src/Tools/isac/Knowledge/RatEq.thy	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/RatEq.thy	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -50,7 +50,7 @@
     1.4  fun is_rateqation_in t v = 
     1.5      let 
     1.6  	fun coeff_in c v = member op = (vars c) v;
     1.7 -   	fun finddivide (_ $ _ $ _ $ _) v = raise error("is_rateqation_in:")
     1.8 +   	fun finddivide (_ $ _ $ _ $ _) v = error("is_rateqation_in:")
     1.9  	    (* at the moment there is no term like this, but ....*)
    1.10  	  | finddivide (t as (Const ("Rings.inverse_class.divide",_) $ _ $ b)) v = coeff_in b v
    1.11  	  | finddivide (_ $ t1 $ t2) v = (finddivide t1 v)