1.1 --- a/src/Tools/isac/Frontend/states.sml	Mon Sep 13 17:21:22 2010 +0200
     1.2 +++ b/src/Tools/isac/Frontend/states.sml	Mon Sep 13 18:12:15 2010 +0200
     1.3 @@ -149,8 +149,8 @@
     1.4  val states = Unsynchronized.ref ([]:(iterID * (calcID * state) list) list);
     1.5  *)
     1.6  
     1.7 -val states = 
     1.8 -    ref ([]:(calcID * 
     1.9 +val states = Unsynchronized.ref
    1.10 +        ([]:(calcID * 
    1.11  	     (calcstate * 
    1.12  	      (iterID *       (*1 sets the 'active formula'*)
    1.13  	       pos'           (*for iterator of a user     *)
    1.14 @@ -484,4 +484,4 @@
    1.15  |   [(2, (((EmptyPtree, ([], Und)), []), [(2, ([], Und)), (1, ([], Und))])),
    1.16  |      (1, (((EmptyPtree, ([], Und)), []), [])),
    1.17  |      (3, (((EmptyPtree, ([], Und)), []), []))]
    1.18 -*)
    1.19 \ No newline at end of file
    1.20 +*)