Fix stopwatch getting released immediately

viperproject · Oct 27, 2023 · 000c701 · 000c701
1 parent 8372022
commit 000c701
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-server/src/backend.rs b/prusti-server/src/backend.rs
@@ -39,7 +39,7 @@ impl<'a> Backend<'a> {
                 })
             }
             Backend::Lithium(lithium) => {
-                Stopwatch::start("prusti-server", "vir verification");
+                let _stopwatch = Stopwatch::start("prusti-server", "vir verification");
                 lithium.verify(program)
             }
         }