diff --git a/src/main/scala/inox/ast/Printers.scala b/src/main/scala/inox/ast/Printers.scala
index ddbe81659befb766e3be32401c0206ee81a5038d..b7c7e1eb5a457a0b65b9ee2fb06346faf08a71a7 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" }