1.1 --- a/test/Tools/isac/xmlsrc/datatypes.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/xmlsrc/datatypes.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4  "~~~~~ fun get_the, args:"; val (theID:theID) = (["IsacKnowledge", "Test", "Rulesets", "ac_plus_times"]);
     1.5  (*get_py  (Thy_Info.get_theory "Pure") theID theID (! thehier); 
     1.6    (* ERROR: get_pbt not found: ["IsacKnowledge","Test","Rulesets","ac_plus_times"] *)*)
     1.7 -print_depth 999;
     1.8 +print_depth 3; (*999*)
     1.9  (!thehier);
    1.10  
    1.11  (*"~~~~~ fun get_py, args:"; val (thy, d, _, []) = ((Thy_Info.get_theory "Pure"), theID, theID, (! thehier));*)