From 000c701ccdc9065f2aff4155d136939a93022b39 Mon Sep 17 00:00:00 2001
From: Jakub Janaszkiewicz <janaszkiewicz.jakub@gmail.com>
Date: Fri, 27 Oct 2023 11:08:49 +0200
Subject: [PATCH] Fix stopwatch getting released immediately

---
 prusti-server/src/backend.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prusti-server/src/backend.rs b/prusti-server/src/backend.rs
index 9765bd3567e..6841563c2ea 100644
--- 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)
             }
         }