iron out the compiler warnings

viperproject · Dec 13, 2023 · f379ee7 · f379ee7
1 parent 671733e
commit f379ee7
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 4 deletions.
diff --git a/src/main/scala/viper/gobra/ast/frontend/PrettyPrinter.scala b/src/main/scala/viper/gobra/ast/frontend/PrettyPrinter.scala
@@ -50,6 +50,7 @@ class DefaultPrettyPrinter extends PrettyPrinter with kiama.output.PrettyPrinter
     case n: PInterfaceClause => showInterfaceClause(n)
     case n: PBodyParameterInfo => showBodyParameterInfo(n)
     case n: PTerminationMeasure => showTerminationMeasure(n)
+    case n: PExhaleMode => showExhaleMode(n)
     case PPos(_) => emptyDoc
   }
 

diff --git a/src/main/scala/viper/gobra/translator/encodings/typeless/OutlineEncoding.scala b/src/main/scala/viper/gobra/translator/encodings/typeless/OutlineEncoding.scala
@@ -12,7 +12,6 @@ import viper.gobra.translator.encodings.combinators.Encoding
 import viper.gobra.translator.context.Context
 import viper.gobra.translator.library.outlines.{Outlines, OutlinesImpl}
 import viper.gobra.translator.util.ViperWriter.CodeWriter
-import viper.gobra.translator.util.VprInfo
 import viper.silver.{ast => vpr}
 
 class OutlineEncoding extends Encoding {

diff --git a/src/main/scala/viper/gobra/util/ExhaleMode.scala b/src/main/scala/viper/gobra/util/ExhaleMode.scala