diff options
Diffstat (limited to 'Chalice/src/main/scala/PrettyPrinter.scala')
-rw-r--r-- | Chalice/src/main/scala/PrettyPrinter.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Chalice/src/main/scala/PrettyPrinter.scala b/Chalice/src/main/scala/PrettyPrinter.scala index ac9ebd2f..18557b99 100644 --- a/Chalice/src/main/scala/PrettyPrinter.scala +++ b/Chalice/src/main/scala/PrettyPrinter.scala @@ -258,6 +258,7 @@ object PrintProgram { }
def Expr(e: Expression): Unit = Expr(e, 0, false)
def Expr(e: Expression, contextBindingPower: Int, fragileContext: Boolean): Unit = e match {
+ case BoogieExpr(_) => throw new InternalErrorException("unexpected in pretty printer")
case IntLiteral(n) => print(n)
case BoolLiteral(b) => print(b)
case NullLiteral() => print("null")
|