diff -r 06aa99b54423 -r fedc16924b76 progs/sml/re.ML
--- a/progs/sml/re.ML	Wed Sep 18 16:35:57 2019 +0100
+++ b/progs/sml/re.ML	Sat Oct 24 12:13:39 2020 +0100
@@ -132,9 +132,7 @@
   | (ALT(r1, r2), Right(v2)) => Right(inj r2 c v2)
   | (CHAR(d), Empty) => Chr(d) 
   | (RECD(x, r1), _) => Rec(x, inj r1 c v)
-  | _ => (print ("\nr: " ^ PolyML.makestring r ^ "\n");
-          print ("v: " ^ PolyML.makestring v ^ "\n");
-          raise Error)
+  | _ => raise Error
 
 (* some "rectification" functions for simplification *)
 fun f_id v = v
@@ -338,8 +336,8 @@
 
 val prog = "ab";
 val reg = ("x" $ ((str "a") -- (str "b")));
-print("Simp: " ^ PolyML.makestring (lexing_simp reg prog) ^ "\n");
-print("Acc:  " ^ PolyML.makestring (lexing_acc  reg prog) ^ "\n");
+print("Simp: " ^ (lexing_simp reg prog) ^ "\n");
+print("Acc:  " ^ (lexing_acc  reg prog) ^ "\n");
 print("Env   " ^ string_of_env (env (lexing_acc reg prog)) ^ "\n");
 
 fun fst (x, y) = x;