fix soundness bug

viperproject · Nov 15, 2024 · 1925f79 · 1925f79
1 parent 392e122
commit 1925f79
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/scala/viper/gobra/frontend/Desugar.scala b/src/main/scala/viper/gobra/frontend/Desugar.scala
@@ -73,6 +73,7 @@ object Desugar extends LazyLogging {
       }
 
       // registers main package to generate proof obligations for its init code
+      importsCollector.registerCurrentPackage(pkg)
       mainDesugarer.registerMainPackage(pkg, importsCollector)(config)
       val res = (mainDesugarer, mainDesugarer.packageD(pkg))
       logger.trace {