1.1 --- a/src/Tools/isac/calcelems.sml	Sun Jun 22 15:17:07 2014 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Sun Jun 22 15:22:30 2014 +0200
     1.3 @@ -953,8 +953,6 @@
     1.4  	  | nodes coll (n::ns) = (node coll n) @ (nodes coll ns);
     1.5      in nodes [] mets end;
     1.6  
     1.7 -(* val (guh, mets) = ("met_test", !mets);
     1.8 -   *)
     1.9  fun check_metguh_unique (guh:guh) (mets: (met ptyp) list) =
    1.10      if member op = (coll_metguhs mets) guh
    1.11      then error ("check_guh_unique failed with '"^guh^"';\n"^