diff options
Diffstat (limited to 'src/theory/strings/infer_info.cpp')
-rw-r--r-- | src/theory/strings/infer_info.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/infer_info.cpp b/src/theory/strings/infer_info.cpp index 0d2f94f91..e1cdc5ec3 100644 --- a/src/theory/strings/infer_info.cpp +++ b/src/theory/strings/infer_info.cpp @@ -131,7 +131,7 @@ bool InferInfo::isFact() const return !atom.isConst() && atom.getKind() != kind::OR && d_noExplain.empty(); } -Node InferInfo::getAntecedant() const +Node InferInfo::getAntecedent() const { // d_noExplain is a subset of d_ant return utils::mkAnd(d_ant); |