mirror of
https://github.com/Z3Prover/z3
synced 2025-04-27 19:05:51 +00:00
change nullptr to 0
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
40dfdb6606
commit
5b6472f022
1 changed files with 2 additions and 2 deletions
Loading…
Add table
Add a link
Reference in a new issue