1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Mon Apr 20 10:33:55 2015 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Mon Apr 20 14:18:40 2015 +0200
     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 -print_depth 11;
     1.8 +default_print_depth 11;
     1.9  val matches = refine fmz ["vereinfachen"];
    1.10 -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 ?";