mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-10 13:10:50 +00:00
Code Activity

Fix typos

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2024-03-23 13:25:58 +00:00
parent 1873f397db
commit 7485bb4fa7
No known key found for this signature in database
GPG key ID: 50B5FDA31455CFF3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -327,7 +327,7 @@ def test_atomic_required(cc):
++y; ++y;
++w; ++w;
return ++x; return ++x;
}") }
""") """)
t.commit() t.commit()
fails_without = exec_compiler_cmd([cc, CPPFLAGS, '', 'tstatomic.cpp', LDFLAGS, '']) != 0 fails_without = exec_compiler_cmd([cc, CPPFLAGS, '', 'tstatomic.cpp', LDFLAGS, '']) != 0