Update cache.

viperproject · Sep 19, 2023 · bee02ce · bee02ce
1 parent 4fd249e
commit bee02ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 {