1.1 --- a/src/Tools/isac/Interpret/ctree.sml	Thu Jun 05 18:10:46 2014 +0200
     1.2 +++ b/src/Tools/isac/Interpret/ctree.sml	Fri Jun 06 06:50:02 2014 +0200
     1.3 @@ -850,7 +850,7 @@
     1.4    in pr_pt f [] pt end;
     1.5  (*
     1.6  > fun prfn ps b = (pr_pos ps)^"   "^b(*TODO*)^"\n";
     1.7 -> val pt = Unsynchronized.ref EmptyPtree;
     1.8 +(*val pt = Unsynchronized.ref EmptyPtree;*)
     1.9  > pt:=Nd("root'",
    1.10         [Nd("xx1",[]),
    1.11  	Nd("xx2",
    1.12 @@ -1048,7 +1048,7 @@
    1.13  (*
    1.14  > type ppobj = string;
    1.15  > tracing (pr_ptree prfn (!pt));
    1.16 -  val pt = Unsynchronized.ref Empty;
    1.17 +(*val pt = Unsynchronized.ref Empty;*)
    1.18    pt:= insert_pt ("root'":ppobj) EmptyPtree [];
    1.19    pt:= insert_pt ("xx1":ppobj) (!pt) [1];
    1.20    pt:= insert_pt ("xx2":ppobj) (!pt) [2];