3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00

Simplify boolean code.

Now that the C API is using bool, this can be simplified.
This commit is contained in:
Bruce Mitchener 2018-12-07 22:06:51 +07:00
parent a9946685ca
commit 0231bc44bc
4 changed files with 24 additions and 24 deletions