diff options
Diffstat (limited to 'src/proof/cnf_proof.h')
| -rw-r--r-- | src/proof/cnf_proof.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/proof/cnf_proof.h b/src/proof/cnf_proof.h index 3ebdad4db..abea75d50 100644 --- a/src/proof/cnf_proof.h +++ b/src/proof/cnf_proof.h @@ -35,7 +35,6 @@ namespace prop { class CnfProof; -typedef std::unordered_map<prop::SatVariable, Expr> SatVarToExpr; typedef std::unordered_map<Node, Node, NodeHashFunction> NodeToNode; typedef std::unordered_set<ClauseId> ClauseIdSet; |