diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-06-25 11:52:08 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-06-25 11:52:08 -0500 |
commit | a88626cbd140611e4a9fc76f843d95f770fbbf44 (patch) | |
tree | 7ed572685120dc39940d327b77597b1b76f02108 /src/rewriter/mkrewrites.py | |
parent | 88f622065f346a34c5dade3c8e293ff64efce144 (diff) |
Add a few more dsl rules for Amazon benchmark
Diffstat (limited to 'src/rewriter/mkrewrites.py')
-rw-r--r-- | src/rewriter/mkrewrites.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rewriter/mkrewrites.py b/src/rewriter/mkrewrites.py index 053d76e35..27bc1b539 100644 --- a/src/rewriter/mkrewrites.py +++ b/src/rewriter/mkrewrites.py @@ -13,6 +13,7 @@ def gen_kind(op): Op.NOT: 'NOT', Op.AND: 'AND', Op.OR: 'OR', + Op.IMPLIES: 'IMPLIES', Op.EQ: 'EQUAL', Op.MULT: 'MULT', Op.LT: 'LT', |