From 9579018ccaedcef5ee6c249512b1d4f84028d6db Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 9 Mar 2016 17:28:57 +0000
Subject: Fix incorrect position of ``Not`` in ``Expr::Kind`` which meant it
 was included in the range of ``BinaryKindFirst`` and ``BinaryKindLast``.
 ``NotExpr`` is a unary expr not a binary expression.

---
 include/klee/Expr.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index 9ad1b49a..d70cfdc9 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -128,6 +128,9 @@ public:
     ZExt,
     SExt,
 
+    // Bit
+    Not,
+
     // All subsequent kinds are binary.
 
     // Arithmetic
@@ -140,7 +143,6 @@ public:
     SRem,
 
     // Bit
-    Not,
     And,
     Or,
     Xor,
-- 
cgit 1.4.1