diff options
author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2020-12-16 13:22:59 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-16 13:22:59 -0600 |
commit | 2d5fd2cad363e3e966ddbb15abfaa45a0a971065 (patch) | |
tree | 196d3f1ad89f5a9f83fb17ca82854a47de6e63bb /src/smt | |
parent | 496aed3f37c37519b6a26b3346b7f06e43bb5351 (diff) |
Renamed InferInfo::getAntecedant to InferInfo::getAntecedent (#5683)
Renamed InferInfo::getAntecedant to InferInfo::getAntecedent
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions