Resolve warning from 036efcf (#1324)

creusot-rs · Jan 22, 2025 · f5d4d05 · f5d4d05
2 parents c7f9deb + 161e2a5
commit f5d4d05
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cargo-creusot/src/main.rs b/cargo-creusot/src/main.rs
@@ -45,7 +45,7 @@ fn main() -> Result<()> {
         }
         Some(Config(args)) => why3find_config(args),
         Some(Prove(args)) => {
-            creusot(None, cargs.options, cargs.cargo_flags);
+            creusot(None, cargs.options, cargs.cargo_flags)?;
             why3find_prove(args)
         }
         Some(New(args)) => new(args),