1.1 --- a/test/Tools/isac/Interpret/error-fill-pattern.sml	Thu Apr 23 09:29:56 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-fill-pattern.sml	Thu Apr 23 12:34:54 2020 +0200
     1.3 @@ -117,13 +117,13 @@
     1.4     *)
     1.5  "----------------------------------------------------------";
     1.6  
     1.7 - val fod = Derive.make_deriv (@{theory "Isac_Knowledge"}) Atools_erls 
     1.8 + val fod = Derive.do_one (@{theory "Isac_Knowledge"}) Atools_erls 
     1.9  		       ((#rules o Rule_Set.rep) Test_simplify)
    1.10  		       (sqrt_right false (@{theory "Pure"})) NONE 
    1.11  		       (str2term "x + 1 + -1 * 2 = 0");
    1.12   (writeln o Derive.trtas2str) fod;
    1.13  
    1.14 - val ifod = Derive.make_deriv (@{theory "Isac_Knowledge"}) Atools_erls 
    1.15 + val ifod = Derive.do_one (@{theory "Isac_Knowledge"}) Atools_erls 
    1.16  		       ((#rules o Rule_Set.rep) Test_simplify)
    1.17  		       (sqrt_right false (@{theory "Pure"})) NONE 
    1.18  		       (str2term "-2 * 1 + (1 + x) = 0");