1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Mon Jul 30 16:41:08 2012 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Tue Jul 31 15:16:47 2012 +0200
     1.3 @@ -333,7 +333,7 @@
     1.4  val multiply_ansatz = prep_rls(
     1.5    Rls {id = "multiply_ansatz", preconds = [], rew_ord = ("dummy_ord",dummy_ord), 
     1.6  	  erls = xxx,
     1.7 -	  srls = Erls, calc = [],
     1.8 +	  srls = Erls, calc = [], errpatts = [],
     1.9  	  rules = 
    1.10  	   [Thm ("multiply_2nd_order",num_str @{thm multiply_2nd_order})
    1.11  	   ],