diff options
Diffstat (limited to 'src/smt/model.h')
| -rw-r--r-- | src/smt/model.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/model.h b/src/smt/model.h index dd5d94d23..342a9f3b0 100644 --- a/src/smt/model.h +++ b/src/smt/model.h @@ -58,7 +58,7 @@ class Model { std::string getInputName() const { return d_inputName; } /** * Returns true if this model is guaranteed to be a model of the input - * formula. Notice that when CVC4 answers "unknown", it may have a model + * formula. Notice that when cvc5 answers "unknown", it may have a model * available for which this method returns false. In this case, this model is * only a candidate solution. */ |