src/HOLCF/domain/interface.ML
changeset 1286 ae25649cbbb1
parent 1284 e5b95ee2616b
child 1461 6bcb44e4d6e5
--- a/src/HOLCF/domain/interface.ML	Tue Oct 17 17:00:10 1995 +0100
+++ b/src/HOLCF/domain/interface.ML	Tue Oct 17 17:59:47 1995 +0100
@@ -68,8 +68,8 @@
 
 
      fun string_of_sort_emb [] = ""
-     |   string_of_sort_emb [x] = x
-	|   string_of_sort_emb (x::xs) = x^","^(string_of_sort_emb xs);
+     |   string_of_sort_emb [x] = "\"" ^x^ "\"" 
+	|   string_of_sort_emb (x::xs) = "\"" ^x^ "\"" ^ ", "^(string_of_sort_emb xs);
 
 	fun string_of_sort l = "["^ (string_of_sort_emb l)^"]";