1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Sat Feb 01 17:55:42 2014 +0100
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Sun Feb 02 01:15:13 2014 +0100
     1.3 @@ -376,7 +376,7 @@
     1.4  	in case nodes [] guh (get_mets ()) of
     1.5  	       SOME id => id
     1.6  	     | NONE => error ("guh2kestoreID: '" ^ guh ^ "' " ^
     1.7 -				    "not found in (!mets)") end
     1.8 +				    "not found in mets") end
     1.9        | _ => error ("guh2kestoreID called with '" ^ guh ^ "'");
    1.10  (*> guh2kestoreID "pbl_equ_univ_lin";
    1.11  val it = ["linear", "univariate", "equation"] : string list*)