From 036efcf4bb4ee8a241099139e75eb2909f379724 Mon Sep 17 00:00:00 2001
From: Li-yao Xia <lysxia@gmail.com>
Date: Wed, 22 Jan 2025 09:46:46 +0100
Subject: [PATCH] Rebuild with `cargo creusot prove`

---
 cargo-creusot/src/main.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/cargo-creusot/src/main.rs b/cargo-creusot/src/main.rs
index e0fa417bdc..36e7c2f659 100644
--- a/cargo-creusot/src/main.rs
+++ b/cargo-creusot/src/main.rs
@@ -44,7 +44,10 @@ fn main() -> Result<()> {
             setup::install(flags)
         }
         Some(Config(args)) => why3find_config(args),
-        Some(Prove(args)) => why3find_prove(args),
+        Some(Prove(args)) => {
+            creusot(None, cargs.options, cargs.cargo_flags);
+            why3find_prove(args)
+        }
         Some(New(args)) => new(args),
         Some(Init(args)) => init(args),
     }