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/CMakeLists.txt | |
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/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions