From 164e7e7eaafdda7941a500cdf2a2d3519c64d86a Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Mon, 8 Aug 2016 21:17:41 +0200
Subject: [PATCH] BVNot in printers
---
src/main/scala/inox/ast/Printers.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/scala/inox/ast/Printers.scala b/src/main/scala/inox/ast/Printers.scala
index ddbe81659..b7c7e1eb5 100644
--- a/src/main/scala/inox/ast/Printers.scala
+++ b/src/main/scala/inox/ast/Printers.scala
@@ -164,6 +164,7 @@ trait Printers { self: Trees =>
case GreaterThan(l,r) => optP { p"$l > $r" }
case LessEquals(l,r) => optP { p"$l <= $r" }
case GreaterEquals(l,r) => optP { p"$l >= $r" }
+ case BVNot(e) => optP { p"~$e" }
case BVXOr(l,r) => optP { p"$l ^ $r" }
case BVOr(l,r) => optP { p"$l | $r" }
case BVAnd(l,r) => optP { p"$l & $r" }
--
GitLab