btorextract: Fix macro check.

Fixes #94.
Boolector · Apr 23, 2020 · 76aafdf · 76aafdf
1 parent c3c01e6
commit 76aafdf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/preprocess/btorextract.c b/src/preprocess/btorextract.c
@@ -1470,7 +1470,7 @@ extract_macros (Btor *btor)
     if (btor_node_is_inverted (cur) || !btor_node_is_forall (cur)) continue;
 
     body = cur->e[1];
-    if (!btor_node_is_bv_eq (body)) continue;
+    if (btor_node_is_inverted (body) || !btor_node_is_bv_eq (body)) continue;
 
     if (btor_node_is_apply (body->e[0]))
     {