From: Johannes Middeke <j-middeke@t-online.de>
Date: Tue, 10 May 2016 15:24:03 +0000 (-0400)
Subject: Changed the usage message.
X-Git-Url: http://git.risc.jku.at/gitweb/?a=commitdiff_plain;h=052751ade700232c7633722addbba3437de1fc02;p=jmiddeke%2FLU.git

Changed the usage message.
---

diff --git a/test.ml b/test.ml
index ae28460..bd6531d 100644
--- a/test.ml
+++ b/test.ml
@@ -182,8 +182,8 @@ and anonymous e =
   let msg = Printf.sprintf "Unknown argument %s.\n" e in
   failwith msg
 and usage =
-  Printf.sprintf "%s (--factors|--experiment) --size N --times N."
-    Sys.executable_name
+  Printf.sprintf "USAGE: %s (--factors|--degrees) --size N --times N"
+    (Filename.basename Sys.executable_name)