From c2498a89d78609ef1f81fcd0ea43b19d04d5205a Mon Sep 17 00:00:00 2001
From: marcoeilers <eilers.marco@googlemail.com>
Date: Thu, 15 May 2025 10:27:45 +0200
Subject: [PATCH] Adapting to Silver change

---
 silver                                                          | 2 +-
 .../viper/carbon/modules/impls/DefaultFuncPredModule.scala      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/silver b/silver
index 2a7e4a15..9a357834 160000
--- a/silver
+++ b/silver
@@ -1 +1 @@
-Subproject commit 2a7e4a15359e0a532dd74ff64cfade34340f1627
+Subproject commit 9a357834464c8e74bc845fbec076928fc95124ee
diff --git a/src/main/scala/viper/carbon/modules/impls/DefaultFuncPredModule.scala b/src/main/scala/viper/carbon/modules/impls/DefaultFuncPredModule.scala
index 8a0b0026..8ab65073 100644
--- a/src/main/scala/viper/carbon/modules/impls/DefaultFuncPredModule.scala
+++ b/src/main/scala/viper/carbon/modules/impls/DefaultFuncPredModule.scala
@@ -193,7 +193,7 @@ with DefinednessComponent with ExhaleComponent with InhaleComponent {
   }
 
   def reset() = {
-    heights = Functions.heights(verifier.program).map{case (f, h) => f.name -> h}
+    heights = Functions.heights(verifier.program)
     tmpStateId = -1
     duringFold = false
     foldInfo = null