--- a/src/HOL/Tools/Nitpick/lib/Tools/nitrox Thu Mar 24 17:49:27 2011 +0100
+++ b/src/HOL/Tools/Nitpick/lib/Tools/nitrox Thu Mar 24 17:56:59 2011 +0100
@@ -16,6 +16,8 @@
exit 1
}
+[ "$#" -eq 0 -o "$1" = "-?" ] && usage
+
for FILE in "$@"
do
(echo "theory Nitrox_Run imports Main begin" &&