diff --git a/viper/src/cache.rs b/viper/src/cache.rs
index 4ed6eb89561..4b78dc3d1fc 100644
--- a/viper/src/cache.rs
+++ b/viper/src/cache.rs
@@ -27,7 +27,7 @@ pub struct PersistentCache {
     data: FxHashMap<u64, VerificationResult>,
 }
 
-const RESULT_CACHE_VERSION: u64 = 3;
+const RESULT_CACHE_VERSION: u64 = 4;
 
 #[derive(Debug, serde::Serialize, serde::Deserialize)]
 struct ResultCache {