Removed the Nz macro.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75377 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 0 insertions, 13 deletions

diff --git a/lib/Expr/ExprPPrinter.cpp b/lib/Expr/ExprPPrinter.cpp
index 691ccd89..7130da97 100644
--- a/lib/Expr/ExprPPrinter.cpp
+++ b/lib/Expr/ExprPPrinter.cpp
@@ -408,19 +408,6 @@ public:
           bindings.insert(std::make_pair(e, counter++));
         }
 
-        // Detect Nz
-        // FIXME: This should be in common code.
-        if (const EqExpr *ee = dyn_cast<EqExpr>(e)) {
-          if (ee->left == ConstantExpr::alloc(false, Expr::Bool)) {
-            PC << "(Nz";
-            printWidth(PC, e);
-            PC << ' ';
-            print(ee->right, PC);
-            PC << ')';
-            return;
-          }
-        }
-
         // Detect multibyte reads.
         // FIXME: Hrm. One problem with doing this is that we are
         // masking the sharing of the indices which aren't