diff --git a/silver b/silver
index 546e53f2..0bfb804f 160000
--- a/silver
+++ b/silver
@@ -1 +1 @@
-Subproject commit 546e53f2a2d4ea854cb98e44f50c806153ae8c8f
+Subproject commit 0bfb804f795b2e6388865f259f81129b2ef9df8c
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