1.1 --- a/test/Tools/isac/Interpret/inform.sml	Mon Apr 20 10:33:55 2015 +0200
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Mon Apr 20 14:18:40 2015 +0200
     1.3 @@ -639,7 +639,7 @@
     1.4  val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
     1.5  val NONE = env;
     1.6  val (SOME istate, NONE) = loc;
     1.7 -print_depth 5;
     1.8 +default_print_depth 5;
     1.9  writeln"-----------------------------------------------------------";
    1.10  spec;
    1.11  writeln (itms2str_ ctxt probl);
    1.12 @@ -657,11 +657,11 @@
    1.13  val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
    1.14  val NONE = env;
    1.15  val (SOME istate, NONE) = loc;
    1.16 -print_depth 5; writeln (istate2str (fst istate));  print_depth 3;
    1.17 +default_print_depth 5; writeln (istate2str (fst istate));  default_print_depth 3;
    1.18  (*ScrState ([],
    1.19   [], NONE,
    1.20   ??.empty, Sundef, false)*)
    1.21 -print_depth 5; spec; print_depth 3;
    1.22 +default_print_depth 5; spec; default_print_depth 3;
    1.23  (*("Isac",
    1.24        ["derivative_of", "function"],
    1.25        ["diff", "differentiate_on_R"]) : spec*)
    1.26 @@ -700,11 +700,11 @@
    1.27  val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
    1.28  val NONE = env;
    1.29  val (SOME istate, NONE) = loc;
    1.30 -print_depth 5; writeln (istate2str (fst istate));  print_depth 3;
    1.31 +default_print_depth 5; writeln (istate2str (fst istate));  default_print_depth 3;
    1.32  (*ScrState ([],
    1.33   [], NONE,
    1.34   ??.empty, Sundef, false)*)
    1.35 -print_depth 5; spec; print_depth 3;
    1.36 +default_print_depth 5; spec; default_print_depth 3;
    1.37  (*("Isac",
    1.38        ["derivative_of", "function"],
    1.39        ["diff", "differentiate_on_R"]) : spec*)