TFL/utils.sml
changeset 9876 a069795f1060
parent 9867 bf8300fa4238
child 10015 8c16ec5ba62b
--- a/TFL/utils.sml	Wed Sep 06 13:32:25 2000 +0200
+++ b/TFL/utils.sml	Wed Sep 06 16:54:12 2000 +0200
@@ -102,5 +102,4 @@
 end;
 
 
-
-end; (* Utils *)
+end;