diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:45:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:45:02 -0700 |
| commit | 7ce7e9ec310db430078b7cbec538ea2a29b6d539 (patch) | |
| tree | bde63821616afdde74da46255d1d23da3a2ae1d5 /src/sat/glucose/Options.h | |
| parent | af4c76e21a28beac14886e68a5f7ce29e5e7303b (diff) | |
| download | abc-7ce7e9ec310db430078b7cbec538ea2a29b6d539.tar.gz abc-7ce7e9ec310db430078b7cbec538ea2a29b6d539.tar.bz2 abc-7ce7e9ec310db430078b7cbec538ea2a29b6d539.zip | |
Compiler warnings.
Diffstat (limited to 'src/sat/glucose/Options.h')
| -rw-r--r-- | src/sat/glucose/Options.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/sat/glucose/Options.h b/src/sat/glucose/Options.h index 08e9543e..598d66d6 100644 --- a/src/sat/glucose/Options.h +++ b/src/sat/glucose/Options.h @@ -62,7 +62,7 @@ class Option struct OptionLt { bool operator()(const Option* x, const Option* y) { int test1 = strcmp(x->category, y->category); - return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; + return test1 < 0 || (test1 == 0 && strcmp(x->type_name, y->type_name) < 0); } }; @@ -284,15 +284,15 @@ class Int64Option : public Option if (range.begin == INT64_MIN) fprintf(stderr, "imin"); else - fprintf(stderr, "%4d", range.begin); + fprintf(stderr, "%4d", (int)range.begin); fprintf(stderr, " .. "); if (range.end == INT64_MAX) fprintf(stderr, "imax"); else - fprintf(stderr, "%4d", range.end); + fprintf(stderr, "%4d", (int)range.end); - fprintf(stderr, "] (default: %d)\n", value); + fprintf(stderr, "] (default: %d)\n", (int)value); if (verbose){ fprintf(stderr, "\n %s\n", description); fprintf(stderr, "\n"); |