diff -r c50349d252b7 -r a069795f1060 TFL/utils.sml
--- 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;