fixes #57 clap errors

informalsystems · Aug 16, 2021 · e4a94f9 · e4a94f9
1 parent 06ed539
commit e4a94f9
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/modelator/src/cli/mod.rs b/modelator/src/cli/mod.rs
@@ -19,14 +19,17 @@ pub struct CliOptions {
 #[derive(Debug, Subcommand)]
 enum Modules {
     /// Generate TLA+ test cases and parse TLA+ traces.
+    #[clap(subcommand)]
     Tla(TlaMethods),
     /// Generate TLA+ traces using Apalache.
+    #[clap(subcommand)]
     Apalache(ApalacheMethods),
     /// Generate TLA+ traces using TLC.
+    #[clap(subcommand)]
     Tlc(TlcMethods),
 }
 
-#[derive(Debug, Clap)]
+#[derive(Debug, Subcommand)]
 #[clap(setting = AppSettings::DisableHelpSubcommand)]
 enum TlaMethods {
     /// Generate TLA+ tests.
@@ -43,7 +46,7 @@ enum TlaMethods {
     },
 }
 
-#[derive(Debug, Clap)]
+#[derive(Debug, Subcommand)]
 #[clap(setting = AppSettings::DisableHelpSubcommand)]
 enum ApalacheMethods {
     /// Generate TLA+ trace from a TLA+ test.
@@ -60,7 +63,7 @@ enum ApalacheMethods {
     },
 }
 
-#[derive(Debug, Clap)]
+#[derive(Debug, Subcommand)]
 #[clap(setting = AppSettings::DisableHelpSubcommand)]
 enum TlcMethods {
     /// Generate TLA+ trace from a TLA+ test.