When --O2, we must apply --O2

iden3 · Oct 7, 2024 · e87b89f · e87b89f
1 parent 104d984
commit e87b89f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/circom/src/input_user.rs b/circom/src/input_user.rs
@@ -263,8 +263,7 @@ mod input_processing {
                     else {Ok(SimplificationStyle::O2(no_rounds))}} 
                 else { Result::Err(eprintln!("{}", Colour::Red.paint("invalid number of rounds"))) }
             },
-
-            (false, false, false, true) => Ok(SimplificationStyle::O1),
+            (false, false, false, true) => Ok(SimplificationStyle::O2(usize::MAX)),
             (false, false, false, false) => Ok(SimplificationStyle::O1),
         }
     }