From a35395b9889c52a1e5030129c120a9e850e1c8b4 Mon Sep 17 00:00:00 2001 From: Marco Eilers Date: Tue, 12 Nov 2024 12:45:45 +0100 Subject: [PATCH] Make pretty printing of integer division unambiguous --- src/main/scala/viper/silver/ast/Program.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/viper/silver/ast/Program.scala b/src/main/scala/viper/silver/ast/Program.scala index 1ea501bef..e9f2d6eee 100644 --- a/src/main/scala/viper/silver/ast/Program.scala +++ b/src/main/scala/viper/silver/ast/Program.scala @@ -722,7 +722,7 @@ sealed abstract class RelOp(val op: String) extends BoolDomainFunc { case object AddOp extends SumOp("+") with IntBinOp with IntDomainFunc case object SubOp extends SumOp("-") with IntBinOp with IntDomainFunc case object MulOp extends ProdOp("*") with IntBinOp with IntDomainFunc -case object DivOp extends ProdOp("/") with IntBinOp with IntDomainFunc +case object DivOp extends ProdOp("\\") with IntBinOp with IntDomainFunc case object ModOp extends ProdOp("%") with IntBinOp with IntDomainFunc // Arithmetic permission operators