# HG changeset patch
# User wenzelm
# Date 878660186 -3600
# Node ID 9fac2370a2f46f61627726c5a49145544ac47bf3
# Parent  2fd816aa6206bdaa7e9d4d660df8c66bd9db858a
tuned usage;

diff -r 2fd816aa6206 -r 9fac2370a2f4 lib/Tools/fixclasimp
--- a/lib/Tools/fixclasimp	Tue Nov 04 17:12:13 1997 +0100
+++ b/lib/Tools/fixclasimp	Tue Nov 04 17:16:26 1997 +0100
@@ -15,9 +15,7 @@
   echo "Usage: $PRG [FILES|DIRS...]"
   echo
   echo "  Recursively find .ML files, fixing references to"
-  echo "  implicit claset and simpset:"
-  echo
-  echo "  FIXME"
+  echo "  implicit claset and simpset."
   echo
   echo "  Renames old versions of FILES by appending \"~~\"."
   echo