1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml Fri Jun 13 09:55:49 2014 +0200
1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml Fri Jun 13 10:29:06 2014 +0200
1.3 @@ -330,7 +330,7 @@
1.4 val xxx = append_rls "multiply_ansatz_erls" norm_Rational
1.5 [Calc ("HOL.eq",eval_equal "#equal_")];
1.6
1.7 -val multiply_ansatz = prep_rls(
1.8 +val multiply_ansatz = prep_rls @{theory} (
1.9 Rls {id = "multiply_ansatz", preconds = [], rew_ord = ("dummy_ord",dummy_ord),
1.10 erls = xxx,
1.11 srls = Erls, calc = [], errpatts = [],