diff options
Diffstat (limited to 'src/expr/kind.h')
| -rw-r--r-- | src/expr/kind.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/expr/kind.h b/src/expr/kind.h index 98cc7e2e3..db25d914e 100644 --- a/src/expr/kind.h +++ b/src/expr/kind.h @@ -36,12 +36,14 @@ enum Kind { AND, IFF, + IMPLIES, OR, XOR, /* from arith */ PLUS, - MINUS + MINUS, + MULT };/* enum Kind */ |