1.1 --- a/src/Tools/isac/library.sml	Wed Jan 22 15:26:14 2014 +0100
     1.2 +++ b/src/Tools/isac/library.sml	Wed Jan 22 15:31:35 2014 +0100
     1.3 @@ -203,7 +203,7 @@
     1.4  (*> val str = list2str ["123","asd"]; tracing str;
     1.5  val str = "[123, asd]" : string
     1.6  [123, asd] *)
     1.7 -fun strslist2strs strslist = "[" ^ (commas (map strs2str strslist)) ^ "]";
     1.8 +fun strslist2strs strslist = map strs2str strslist |> strs2str';
     1.9  fun spair2str (s1,s2) =   "(" ^ (quote s1) ^ ", " ^ (quote s2) ^ ")";
    1.10  fun pair2str (s1,s2) =   "(" ^ s1 ^ ", " ^ s2 ^ ")";
    1.11  (*16.11.00