[r2005-04-18 08:22:40 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-18 08:22:40+00:00

tools/dtd2cduce.ml

@@ -130,6 +130,5 @@ let () =
 	main cgi;
 	cgi # finalize ()
    | _ ->
-	if Array.length Sys.argv <> 3 then
-	  (prerr_endline "Usage: dtd2cduce <prefix> <.dtd file>";
-	   exit 2);
+       prerr_endline "Usage: dtd2cduce <prefix> <.dtd file>";
+       exit 2