diff --git a/prusti-server/src/backend.rs b/prusti-server/src/backend.rs
index 37c9a91f0db..5a36ad6c399 100644
--- a/prusti-server/src/backend.rs
+++ b/prusti-server/src/backend.rs
@@ -32,6 +32,7 @@ impl<'a> Backend<'a> {
                         );
                     }
 
+                    stopwatch.start_next("viper verification");
                     viper.verify(viper_program)
                 })
             }