1.1 --- a/src/Tools/isac/Frontend/states.sml	Mon Sep 13 16:36:14 2010 +0200
     1.2 +++ b/src/Tools/isac/Frontend/states.sml	Mon Sep 13 17:21:22 2010 +0200
     1.3 @@ -146,7 +146,7 @@
     1.4       (*pos' *          set by the CalcIterator ---> for each user*)
     1.5       calcstate;       (*to which ev.included 'preview' tac_s could be applied*)
     1.6  val e_state = (e_pos', e_calcstate):state;
     1.7 -val states = ref ([]:(iterID * (calcID * state) list) list);
     1.8 +val states = Unsynchronized.ref ([]:(iterID * (calcID * state) list) list);
     1.9  *)
    1.10  
    1.11  val states =