diff options
Diffstat (limited to 'src/expr/skolem_manager.cpp')
| -rw-r--r-- | src/expr/skolem_manager.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/expr/skolem_manager.cpp b/src/expr/skolem_manager.cpp index 773159b09..b59d01fdd 100644 --- a/src/expr/skolem_manager.cpp +++ b/src/expr/skolem_manager.cpp @@ -215,11 +215,6 @@ Node SkolemManager::mkDummySkolem(const std::string& prefix, return NodeManager::currentNM()->mkSkolem(prefix, type, comment, flags); } -Node SkolemManager::mkBooleanTermVariable(Node t) -{ - return mkPurifySkolem(t, "", "", NodeManager::SKOLEM_BOOL_TERM_VAR); -} - ProofGenerator* SkolemManager::getProofGenerator(Node t) const { std::map<Node, ProofGenerator*>::const_iterator it = d_gens.find(t); |