diff options
Diffstat (limited to 'src/theory/strings/inference_manager.cpp')
| -rw-r--r-- | src/theory/strings/inference_manager.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/strings/inference_manager.cpp b/src/theory/strings/inference_manager.cpp index ff3803b7e..8a0429fae 100644 --- a/src/theory/strings/inference_manager.cpp +++ b/src/theory/strings/inference_manager.cpp @@ -241,8 +241,6 @@ bool InferenceManager::sendSplit(Node a, Node b, InferenceId infer, bool preq) return true; } -void InferenceManager::setIncomplete() { d_out.setIncomplete(); } - void InferenceManager::addToExplanation(Node a, Node b, std::vector<Node>& exp) const |