diff options
Diffstat (limited to 'src/prop/cnf_stream.h')
-rw-r--r-- | src/prop/cnf_stream.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h index 1ea600322..a574adf23 100644 --- a/src/prop/cnf_stream.h +++ b/src/prop/cnf_stream.h @@ -215,9 +215,6 @@ private: SatLiteral handleAnd(TNode node); SatLiteral handleOr(TNode node); - struct IteRewriteTag {}; - typedef expr::Attribute<IteRewriteTag, Node> IteRewriteAttr; - Node handleNonAtomicNode(TNode node); /** * Transforms the node into CNF recursively. |