diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-10-07 10:55:29 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-07 12:55:29 -0500 |
| commit | a6817647ee9bae0df0f1922c0d521d7f100d0245 (patch) | |
| tree | 192655da9dedc67a04ef29d4eabd4c1e67c7a143 /src/parser/cvc/Cvc.g | |
| parent | eb4321c5040258ac1ac41eb955aa5b6b5199011e (diff) | |
New C++ API: Rename Term::isConst() to Term::isValue(). (#5211)
Diffstat (limited to 'src/parser/cvc/Cvc.g')
| -rw-r--r-- | src/parser/cvc/Cvc.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 6eb0924ac..292871d2a 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -2177,7 +2177,7 @@ simpleTerm[CVC4::api::Term& f] * literals, we can use the push/pop scope. */ /* PARSER_STATE->popScope(); */ t = SOLVER->mkArraySort(t, t2); - if(!f.isConst()) { + if(!f.isValue()) { std::stringstream ss; ss << "expected constant term inside array constant, but found " << "nonconstant term" << std::endl |