1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Mon Sep 13 16:36:14 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Mon Sep 13 17:21:22 2010 +0200
     1.3 @@ -419,7 +419,7 @@
     1.4  
     1.5  (** problem-types stored in format for usage in specify  **)
     1.6  (*25.8.01 ----
     1.7 -val pbltypes = ref ([(e_pblID,[])]:(pblID * ((string * (* field "#Given",..*)
     1.8 +val pbltypes = Unsynchronized.ref ([(e_pblID,[])]:(pblID * ((string * (* field "#Given",..*)
     1.9  			     (term *   (* description      *)
    1.10  			      term))    (* id | struct-var  *)
    1.11  			     list)
    1.12 @@ -457,10 +457,10 @@
    1.13  val e_Mets = Ptyp ("e_metID",[e_met],[]);
    1.14  
    1.15  type ptyps = (pbt ptyp) list;
    1.16 -val ptyps = ref ([e_Ptyp]:ptyps);
    1.17 +val ptyps = Unsynchronized.ref ([e_Ptyp]:ptyps);
    1.18  
    1.19  type mets = (met ptyp) list;
    1.20 -val mets = ref ([e_Mets]:mets);
    1.21 +val mets = Unsynchronized.ref ([e_Mets]:mets);
    1.22  
    1.23  
    1.24  (**+ breadth-first search on hierarchy of problem-types +**)