mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-05 13:51:23 +00:00
Code Activity

fix -Wsign-compare (len can never become negative anyway)

Browse source
This commit is contained in:
Daniel Schemmel 2019-02-22 19:50:15 +01:00
parent 28c675f56e
commit c2ebbc9210
No known key found for this signature in database
GPG key ID: A176732062461ECC
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/sat/sat_drat.cpp
View file

@ -83,7 +83,7 @@ namespace sat {
char digits[20]; // enough for storing unsigned char digits[20]; // enough for storing unsigned
char* lastd = digits + sizeof(digits); char* lastd = digits + sizeof(digits);
int len = 0; unsigned len = 0;
if (st == status::deleted) { if (st == status::deleted) {
buffer[0] = 'd'; buffer[0] = 'd';
buffer[1] = ' '; buffer[1] = ' ';