1.1 --- a/src/Tools/isac/calcelems.sml	Sun Feb 02 02:45:11 2014 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Sun Feb 02 03:09:40 2014 +0100
     1.3 @@ -892,7 +892,6 @@
     1.4  
     1.5  
     1.6  type mets = (met ptyp) list;
     1.7 -val mets = Unsynchronized.ref ([e_Mets]:mets);
     1.8  
     1.9  fun coll_metguhs mets =
    1.10      let fun node coll (Ptyp (_,[n],ns)) =