diff options
Diffstat (limited to 'examples/api/cpp/sets.cpp')
-rw-r--r-- | examples/api/cpp/sets.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/api/cpp/sets.cpp b/examples/api/cpp/sets.cpp index c1eded4a4..1f3a1683c 100644 --- a/examples/api/cpp/sets.cpp +++ b/examples/api/cpp/sets.cpp @@ -51,7 +51,7 @@ int main() Term theorem = slv.mkTerm(EQUAL, lhs, rhs); - cout << "CVC4 reports: " << theorem << " is " << slv.checkEntailed(theorem) + cout << "cvc5 reports: " << theorem << " is " << slv.checkEntailed(theorem) << "." << endl; } @@ -62,7 +62,7 @@ int main() Term theorem = slv.mkTerm(SUBSET, emptyset, A); - cout << "CVC4 reports: " << theorem << " is " << slv.checkEntailed(theorem) + cout << "cvc5 reports: " << theorem << " is " << slv.checkEntailed(theorem) << "." << endl; } @@ -84,7 +84,7 @@ int main() Term e = slv.mkTerm(MEMBER, x, intersection); Result result = slv.checkSatAssuming(e); - cout << "CVC4 reports: " << e << " is " << result << "." << endl; + cout << "cvc5 reports: " << e << " is " << result << "." << endl; if (result.isSat()) { |