diff -r a474900d5bd2 -r 255c853ea2f0 src/Tools/isac/Frontend/states.sml
--- a/src/Tools/isac/Frontend/states.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/src/Tools/isac/Frontend/states.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -334,9 +334,9 @@
 > !states;
 val it = [(3,[(#,#),(#,#),(#,#)]),(4,[(#,#),(#,#)]),(1,[(#,#)])] : states
 > assoc2 (!states, (3, 1));
-val it = SOME EmptyPtree : ptree option
+val it = SOME EmptyPtree : ctree option
 > assoc2 (!states, (3, 2));
-val it = NONE : ptree option
+val it = NONE : ctree option
 *)
 (*///7.10
 fun add_calc (uI:iterID) (s:state) =