* src/closure.c (print_closure): Improve.

(closure): Use it for printing input and output.
2026-07-23 15:20:33 +00:00 · 2001-12-05 09:23:38 +00:00
parent 5e5b240715
commit 66d35de779
3 changed files with 23 additions and 13 deletions
@@ -1,3 +1,9 @@
+2001-12-05  Akim Demaille  <[email protected]>
+
+	* src/closure.c (print_closure): Improve.
+	(closure): Use it for printing input and output.
+
+	
 2001-12-05  Akim Demaille  <[email protected]>

 	* src/closure.c (FIRSTS, FDERIVES): Adjust to reality: they are