1.1 --- a/test/Tools/isac/Knowledge/gcd_poly_winkler.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/gcd_poly_winkler.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -86,7 +86,7 @@
     1.4    doe not conform with the Isabelle coding standards)
     1.5  *}*)
     1.6  
     1.7 - print_depth 20;
     1.8 + print_depth 3; (*20*)
     1.9   type unipoly = int list;
    1.10  
    1.11  "----------- auxiliary functions univariate -------------";