1.1 --- a/src/Tools/isac/calcelems.sml	Wed Nov 21 12:32:54 2018 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Wed Nov 28 11:46:00 2018 +0100
     1.3 @@ -636,7 +636,7 @@
     1.4  fun check_metguh_unique (guh:guh) (mets: (met ptyp) list) =
     1.5      if member op = (coll_metguhs mets) guh
     1.6      then raise ERROR ("check_guh_unique failed with \"" ^ guh ^"\";\n"^
     1.7 -		  "use \"sort_metguhs()\" for a list of guhs;\n" ^
     1.8 +		(*"use \"sort_metguhs()\" for a list of guhs;\n" ^        ...evaluates to [] ?!?*)
     1.9  		  "consider setting \"check_guhs_unique := false\"")
    1.10      else ();
    1.11