1.1 --- a/src/Tools/isac/Frontend/states.sml	Thu Dec 22 11:12:18 2016 +0100
     1.2 +++ b/src/Tools/isac/Frontend/states.sml	Thu Dec 22 11:36:20 2016 +0100
     1.3 @@ -334,9 +334,9 @@
     1.4  > !states;
     1.5  val it = [(3,[(#,#),(#,#),(#,#)]),(4,[(#,#),(#,#)]),(1,[(#,#)])] : states
     1.6  > assoc2 (!states, (3, 1));
     1.7 -val it = SOME EmptyPtree : ptree option
     1.8 +val it = SOME EmptyPtree : ctree option
     1.9  > assoc2 (!states, (3, 2));
    1.10 -val it = NONE : ptree option
    1.11 +val it = NONE : ctree option
    1.12  *)
    1.13  (*///7.10
    1.14  fun add_calc (uI:iterID) (s:state) =