From 92adc42c54133305c0fdad2ad4294e62275c6ea4 Mon Sep 17 00:00:00 2001 From: Linard Arquint Date: Thu, 15 Dec 2022 14:34:10 +0100 Subject: [PATCH] fixes pretty printer to print unnamed local variable declarations instead of throwing an exception --- src/main/scala/viper/silver/ast/pretty/PrettyPrinter.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/viper/silver/ast/pretty/PrettyPrinter.scala b/src/main/scala/viper/silver/ast/pretty/PrettyPrinter.scala index d896b93ee..7474ce487 100644 --- a/src/main/scala/viper/silver/ast/pretty/PrettyPrinter.scala +++ b/src/main/scala/viper/silver/ast/pretty/PrettyPrinter.scala @@ -481,7 +481,7 @@ object FastPrettyPrinter extends FastPrettyPrinterBase with BracketPrettyPrinter case typ: Type => showType(typ) case p: Program => showProgram(p) case m: Member => showMember(m) - case v: LocalVarDecl => showVar(v) + case v: AnyLocalVarDecl => showVar(v) case dm: DomainMember => showDomainMember(dm) case Trigger(exps) => text("{") <+> ssep(exps map show, group(char (',') <> line)) <+> "}"