test/Tools/isac/Interpret/ctree.sml
branchdecompose-isar
changeset 42202 3ef5679743fb
parent 42193 06de2f62f744
child 42218 dbdaf1e4e614
     1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Tue Jul 26 14:35:06 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Tue Jul 26 15:52:07 2011 +0200
     1.3 @@ -584,7 +584,7 @@
     1.4  "-------------- move_dn: Frm -> Res ------------------------------";
     1.5  "-------------- move_dn: Frm -> Res ------------------------------";
     1.6  "-------------- move_dn: Frm -> Res ------------------------------";
     1.7 - (*states := [];
     1.8 + states := [];
     1.9   CalcTree      (*start of calculation, return No.1*)
    1.10       [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
    1.11         ("Test", 
    1.12 @@ -607,7 +607,7 @@
    1.13   moveActiveDown 1; (*<ERROR> pos does not exist </ERROR>*)
    1.14   if get_pos 1 1 = ([1], Res) then () 
    1.15   else error "ctree.sml: diff.behav. in move_dn: Frm -> Res (1)";
    1.16 - moveActiveDown 1; (*<ERROR> pos does not exist </ERROR>*)*)
    1.17 + moveActiveDown 1; (*<ERROR> pos does not exist </ERROR>*)
    1.18  
    1.19  
    1.20  "-------------- move_up ------------------------------------------";
    1.21 @@ -1370,4 +1370,3 @@
    1.22  show_pt pt;
    1.23  *)
    1.24  ========== inhibit exn AK110726 ==============================================*)
    1.25 -