1.1 --- a/test/Tools/isac/Interpret/script.sml	Sat Dec 14 13:36:40 2019 +0100
     1.2 +++ b/test/Tools/isac/Interpret/script.sml	Mon Dec 16 14:03:16 2019 +0100
     1.3 @@ -83,7 +83,14 @@
     1.4  (assoc_thy (get_obj g_domID pt (par_pblobj pt p)));
     1.5  assoc_thy;
     1.6  
     1.7 -autoCalculate 1 CompleteCalc;
     1.8 +(* ERROR  which has NOT be created by this change set
     1.9 +(1) actual         : ERROR exception PTREE "get_obj f EmptyPtree" raised (line 289 of "~~/src/Tools/isac/MathEngBasic/ctree-basic.sml")
    1.10 +(2) in 927379190abd: generate1: not impl.for Empty_Tac
    1.11 +
    1.12 +in case (2) exn.ERROR _ was caught, while in case (1) exn.Ptree is not caught before toplevel
    1.13 +
    1.14 +autoCalculate 1 CompleteCalc; (* ONE ERROR *)
    1.15 +==============================^^^^^^^^^^^^^*)
    1.16  
    1.17  "----------- fun init_form, fun get_stac -------------------------";
    1.18  "----------- fun init_form, fun get_stac -------------------------";