1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Tue Feb 06 15:26:05 2018 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Tue Feb 06 16:18:43 2018 +0100
     1.3 @@ -550,9 +550,9 @@
     1.4  "----------- refine Vereinfache ----------------------------------";
     1.5  "----------- refine Vereinfache ----------------------------------";
     1.6  val fmz = ["Term (8*(a - q) + a - 2*q + 3*(a - 2*(q::real)))", "normalform (N::real)"];
     1.7 -default_print_depth 11;
     1.8 +(*default_print_depth 11;*)
     1.9  val matches = refine fmz ["vereinfachen"];
    1.10 -default_print_depth 3;
    1.11 +(*default_print_depth 3;*)
    1.12  
    1.13  "----- go into details, if it seems not to work -----";
    1.14  "--- does the predicate evaluate correctly ?";