From 6c61df45ffb3ee73133928e22e376af504135d36 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hans-peter.deifel@fau.de>
Date: Tue, 21 Mar 2017 12:01:49 +0100
Subject: [PATCH] Advertise 'graph' command of command line interface
---
src/coalg/coalg.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index 76e4123..27caad7 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -46,7 +46,7 @@ let _ =
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 " <task> in { sat print graph verify nnf prov (is »not.(sat ¬f)«) nom2fix }";
print_endline " <functor> in { MultiModalK (or equivalently K)";
print_endline " MultiModalKD (or equivalently KD)";
print_endline " Monotone";
--
GitLab