1.1 --- a/src/Tools/isac/Frontend/states.sml	Sun Sep 13 12:37:57 2015 +0200
     1.2 +++ b/src/Tools/isac/Frontend/states.sml	Sun Sep 20 11:29:49 2015 +0200
     1.3 @@ -138,9 +138,6 @@
     1.4    | is_detail _ _ _ = false;
     1.5  ----------------------------------------*)
     1.6  
     1.7 -type iterID = int;
     1.8 -type calcID = int;
     1.9 -
    1.10  val states = Synchronized.var "isac_states"
    1.11          ([]:(calcID * 
    1.12  	     (calcstate *