1.1 --- a/test/Tools/isac/Interpret/ctree.sml Fri Mar 18 18:27:10 2011 +0100
1.2 +++ b/test/Tools/isac/Interpret/ctree.sml Sat Mar 19 13:06:19 2011 +0100
1.3 @@ -94,6 +94,7 @@
1.4 "ctree.sml-------------- cappend on complete ctree from above ----";
1.5 val (pt', cuts) = cappend_form pt [1] e_istate (str2term "Inform[1]");
1.6 "----------------------------------------------------------------/";
1.7 +(*========== inhibit exn WN110319 ==============================================
1.8 val (p,_,f,nxt,_,pt) = me nxt p [1] pt(*cappend_form: pos =[1]*);
1.9 val (p,_,f,nxt,_,pt) = me nxt p [1] pt(*cappend_atomic: pos =[1]*);
1.10 val (p,_,f,nxt,_,pt) = me nxt p [1] pt(*cappend_atomic: pos =[2]*);
1.11 @@ -119,7 +120,9 @@
1.12 else error "new behaviour in test: miniscript with mini-subpbl";
1.13
1.14 show_pt pt;
1.15 +============ inhibit exn WN110319 ============================================*)
1.16
1.17 +(*=== inhibit exn ?=============================================================
1.18
1.19 "-------------- get_allpos' (from ptree above)--------------------";
1.20 "-------------- get_allpos' (from ptree above)--------------------";
1.21 @@ -1322,3 +1325,4 @@
1.22 show_pt pt;
1.23 *)
1.24
1.25 +===== inhibit exn ?===========================================================*)