projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae541bb) | patch
rename InferInfo::d_newSkolem to InferInfo::d_skolems (#5799)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Mon, 25 Jan 2021 00:18:12 +0000 (18:18 -0600)
committerGitHub <noreply@github.com>
Mon, 25 Jan 2021 00:18:12 +0000 (18:18 -0600)
commit865fb413bf91d395a90cf0cc502e1dbc7d2d8ebb
treed97b36e3b33a2ef151aa12a3ee38a96375e8a184tree
parentae541bb35e7b627f28b13eede29f5870f42b078ecommit | 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
src/theory/strings/core_solver.cpp diff | blob | history
src/theory/strings/infer_info.h diff | blob | history
src/theory/strings/inference_manager.cpp diff | blob | history