1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Wed May 16 15:01:47 2012 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Wed May 16 15:47:22 2012 +0200
     1.3 @@ -105,7 +105,7 @@
     1.4  	       {rew_ord'="tless_true", rls'=Erls, calc = [], 
     1.5  		srls = e_rls, 
     1.6  		prls=e_rls,
     1.7 -	     crls = Atools_erls, nrls = e_rls},
     1.8 +	     crls = Atools_erls, errpats = [], nrls = e_rls},
     1.9  "empty_script"
    1.10  ));
    1.11  *}