diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-01-24 18:18:12 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-24 18:18:12 -0600 |
| commit | 865fb413bf91d395a90cf0cc502e1dbc7d2d8ebb (patch) | |
| tree | d97b36e3b33a2ef151aa12a3ee38a96375e8a184 /src/theory/strings/inference_manager.cpp | |
| parent | ae541bb35e7b627f28b13eede29f5870f42b078e (diff) | |
rename InferInfo::d_newSkolem to InferInfo::d_skolems (#5799)
Rename strings::InferInfo::d_newSkolem to InferInfo::d_skolems to match bags::InferInfo:d_skolems
Diffstat (limited to 'src/theory/strings/inference_manager.cpp')
| -rw-r--r-- | src/theory/strings/inference_manager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/inference_manager.cpp b/src/theory/strings/inference_manager.cpp index 05937cf56..cf90c8fbe 100644 --- a/src/theory/strings/inference_manager.cpp +++ b/src/theory/strings/inference_manager.cpp @@ -412,7 +412,7 @@ bool InferenceManager::processLemma(InferInfo& ii) // (lazily), since this is the moment when we have decided to process the // inference. for (const std::pair<const LengthStatus, std::vector<Node> >& sks : - ii.d_newSkolem) + ii.d_skolems) { for (const Node& n : sks.second) { |