From 052751ade700232c7633722addbba3437de1fc02 Mon Sep 17 00:00:00 2001 From: Johannes Middeke Date: Tue, 10 May 2016 11:24:03 -0400 Subject: [PATCH] Changed the usage message. --- test.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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) -- 2.1.4