1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Mon Apr 19 19:55:31 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Mon Apr 19 20:12:53 2021 +0200
     1.3 @@ -552,7 +552,7 @@
     1.4  "----------- Refine.refine Vereinfache ----------------------------------";
     1.5  val fmz = ["Term (8*(a - q) + a - 2*q + 3*(a - 2*(q::real)))", "normalform (N::real)"];
     1.6  (*default_print_depth 11;*)
     1.7 -val TermC.matches = Refine.refine fmz ["vereinfachen"];
     1.8 +val matches = Refine.refine fmz ["vereinfachen"];
     1.9  (*default_print_depth 3;*)
    1.10  
    1.11  "----- go into details, if it seems not to work -----";