diff -r 57739650f9b4 -r c730b643bc0e test/Tools/isac/Interpret/inform.sml
--- a/test/Tools/isac/Interpret/inform.sml	Mon Apr 20 10:33:55 2015 +0200
+++ b/test/Tools/isac/Interpret/inform.sml	Mon Apr 20 14:18:40 2015 +0200
@@ -639,7 +639,7 @@
 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
 val NONE = env;
 val (SOME istate, NONE) = loc;
-print_depth 5;
+default_print_depth 5;
 writeln"-----------------------------------------------------------";
 spec;
 writeln (itms2str_ ctxt probl);
@@ -657,11 +657,11 @@
 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
 val NONE = env;
 val (SOME istate, NONE) = loc;
-print_depth 5; writeln (istate2str (fst istate));  print_depth 3;
+default_print_depth 5; writeln (istate2str (fst istate));  default_print_depth 3;
 (*ScrState ([],
  [], NONE,
  ??.empty, Sundef, false)*)
-print_depth 5; spec; print_depth 3;
+default_print_depth 5; spec; default_print_depth 3;
 (*("Isac",
       ["derivative_of", "function"],
       ["diff", "differentiate_on_R"]) : spec*)
@@ -700,11 +700,11 @@
 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
 val NONE = env;
 val (SOME istate, NONE) = loc;
-print_depth 5; writeln (istate2str (fst istate));  print_depth 3;
+default_print_depth 5; writeln (istate2str (fst istate));  default_print_depth 3;
 (*ScrState ([],
  [], NONE,
  ??.empty, Sundef, false)*)
-print_depth 5; spec; print_depth 3;
+default_print_depth 5; spec; default_print_depth 3;
 (*("Isac",
       ["derivative_of", "function"],
       ["diff", "differentiate_on_R"]) : spec*)