Merge pull request #818 from viperproject/meilers_fix_div_pretty

Make pretty printing of integer division unambiguous
viperproject · Nov 13, 2024 · 5611fcb · 5611fcb
2 parents 10b1b26 + a35395b
commit 5611fcb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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