mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 11:42:28 +00:00
Code Activity

Fix C++ API comment typo.

Browse source
This commit is contained in:
Bruce Mitchener 2019-06-01 15:57:56 +07:00
parent 60e4cad7f1
commit 17a0d75436
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/c++/z3++.h
View file

@ -6,7 +6,7 @@ Copyright (c) 2012 Microsoft Corporation
- Smart pointers for all Z3 objects. - Smart pointers for all Z3 objects.
- Object-Oriented interface. - Object-Oriented interface.
- Operator overloading. - Operator overloading.
- Exceptions for signining Z3 errors - Exceptions for signaling Z3 errors
The C API can be used simultaneously with the C++ layer. The C API can be used simultaneously with the C++ layer.
However, if you use the C API directly, you will have to check the error conditions manually. However, if you use the C API directly, you will have to check the error conditions manually.