1.1 --- a/src/Tools/isac/calcelems.sml	Mon Sep 13 17:21:22 2010 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Mon Sep 13 18:12:15 2010 +0200
     1.3 @@ -346,8 +346,9 @@
     1.4  (*rewrite orders, also stored in 'type met' and type 'and rls'
     1.5    The association list is required for 'rewrite.."rew_ord"..'
     1.6    WN0509 tests not well-organized: see smltest/Knowledge/termorder.sml*)
     1.7 -val rew_ord' = 
     1.8 -    ref ([]:(rew_ord' *        (*the key for the association list         *)
     1.9 +val rew_ord' =
    1.10 +    Unsynchronized.ref
    1.11 +        ([]:(rew_ord' *        (*the key for the association list         *)
    1.12  	     (subst 	       (*the bound variables - they get high order*)
    1.13  	      -> (term * term) (*(t1, t2) to be compared                  *)
    1.14  	      -> bool))        (*if t1 <= t2 then true else false         *)