diff options
| -rw-r--r-- | include/klee/Expr.h | 4 |
1 files changed, 3 insertions, 1 deletions
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, |