From cf70b199d50027c88b4ba0f666262988bea18bc2 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hans-peter.deifel@fau.de>
Date: Sun, 26 Feb 2017 01:39:38 +0100
Subject: [PATCH] Show correct binary name in "Usage" of main program
---
src/coalg/coalg.ml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index 1a1d445..c2180ee 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -44,8 +44,8 @@ let _ =
print_endline (FE.stringFromFunctorExp (FE.functorExpFromString str))
*)
-let printUsage () =
- print_endline "Usage: \"alc <task> <functor> [<flags>]\" where";
+let printUsage name =
+ print_endline ("Usage: \"" ^ name ^ " <task> <functor> [<flags>]\" where");
print_endline " <task> in { sat print verify nnf prov (is »not.(sat ¬f)«) nom2fix }";
print_endline " <functor> in { MultiModalK (or equivalently K)";
print_endline " MultiModalKD (or equivalently KD)";
@@ -231,7 +231,7 @@ let rec parseFlags arr offs : unit =
)
let _ =
- if Array.length Sys.argv < 3 then printUsage()
+ if Array.length Sys.argv < 3 then printUsage (Sys.argv.(0))
else
let choice = Sys.argv.(1) in
parseFlags Sys.argv 3;
@@ -243,6 +243,6 @@ let _ =
| "verify" -> choiceVerify ()
| "graph" -> choiceGraph ()
| "nom2fix" -> choiceNom2fix()
- | _ -> printUsage ()
+ | _ -> printUsage (Sys.argv.(0))
(* vim: set et sw=2 sts=2 ts=8 : *)
--
GitLab