diff --git a/src/main/scala/viper/gobra/ast/frontend/PrettyPrinter.scala b/src/main/scala/viper/gobra/ast/frontend/PrettyPrinter.scala
index 3b7bab937..7b8e55f2c 100644
--- 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
index 7220868c7..3453e95fa 100644
--- 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
deleted file mode 100644
index 287aff2c0..000000000
--- a/src/main/scala/viper/gobra/util/ExhaleMode.scala
+++ /dev/null
@@ -1,3 +0,0 @@
-object ExhaleMode {
-
-}
\ No newline at end of file