From dc679ed380aabc62aadfbb4033c02c5a27ae903c Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 11 Mar 2021 11:05:58 -0800
Subject: Delete Expr layer. (#6117)

---
 src/proof/cnf_proof.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/proof/cnf_proof.h')

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;
 
-- 
cgit v1.2.3