From bee02ce893be8ad7b4e996ff3915081d98b3eca7 Mon Sep 17 00:00:00 2001
From: Vytautas Astrauskas <vastrauskas@gmail.com>
Date: Tue, 19 Sep 2023 16:57:19 +0200
Subject: [PATCH] Update cache.

---
 viper/src/cache.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 {