From ad45f5cd2cabda2de406a480f6d660aa5c96a85b Mon Sep 17 00:00:00 2001
From: Andrew Hlynskyi <ahlincq@gmail.com>
Date: Fri, 6 Jan 2023 06:05:07 +0200
Subject: [PATCH] Remove unused no-minimize arg for the generate command

---
 cli/src/main.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/cli/src/main.rs b/cli/src/main.rs
index ce6743bf..9e3331c0 100644
--- a/cli/src/main.rs
+++ b/cli/src/main.rs
@@ -111,8 +111,7 @@ fn run() -> Result<()> {
                         .long("report-states-for-rule")
                         .value_name("rule-name")
                         .takes_value(true),
-                )
-                .arg(Arg::with_name("no-minimize").long("no-minimize")),
+                ),
         )
         .subcommand(
             SubCommand::with_name("parse")