3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-05 19:00:25 +00:00

fix build on C++98 compilers

This commit is contained in:
Nuno Lopes 2016-02-01 17:12:22 +00:00
parent fe6799699c
commit b9c0578eea
2 changed files with 2 additions and 2 deletions