diff options
| -rw-r--r-- | src/aig/miniaig/abcOper.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/miniaig/abcOper.h b/src/aig/miniaig/abcOper.h index 51b9d382..bbc7e171 100644 --- a/src/aig/miniaig/abcOper.h +++ b/src/aig/miniaig/abcOper.h @@ -150,7 +150,9 @@ typedef enum { ABC_OPER_ARI_SQUARE, // 96 ABC_OPER_CONST, // 97 - ABC_OPER_LAST // 98 + ABC_OPER_ARI_ADDSUB, // 98 + + ABC_OPER_LAST // 99 } Acb_ObjType_t; |