diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 18:08:15 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 18:10:27 -0500 |
| commit | dc21bb1de3dfe956312fe5ab734be8d59ee30135 (patch) | |
| tree | 811e04f4424db51d3815f0844eca723669ac0a28 /src/prop | |
| parent | a97891f9cc892fdc261cd4e3d3229ec68f05b45e (diff) | |
Fix for compile error when using gcc 4.7 with -std=gnu++11. Thanks to Martin Brain for the patch!
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/bvminisat/utils/Options.h | 6 | ||||
| -rw-r--r-- | src/prop/minisat/utils/Options.h | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/prop/bvminisat/utils/Options.h b/src/prop/bvminisat/utils/Options.h index 1d41333ef..2092a87e4 100644 --- a/src/prop/bvminisat/utils/Options.h +++ b/src/prop/bvminisat/utils/Options.h @@ -282,15 +282,15 @@ class Int64Option : public Option if (range.begin == INT64_MIN) fprintf(stderr, "imin"); else - fprintf(stderr, "%4"PRIi64, range.begin); + fprintf(stderr, "%4" PRIi64, range.begin); fprintf(stderr, " .. "); if (range.end == INT64_MAX) fprintf(stderr, "imax"); else - fprintf(stderr, "%4"PRIi64, range.end); + fprintf(stderr, "%4" PRIi64, range.end); - fprintf(stderr, "] (default: %"PRIi64")\n", value); + fprintf(stderr, "] (default: %" PRIi64")\n", value); if (verbose){ fprintf(stderr, "\n %s\n", description); fprintf(stderr, "\n"); diff --git a/src/prop/minisat/utils/Options.h b/src/prop/minisat/utils/Options.h index 5e061f2e7..b04799c4e 100644 --- a/src/prop/minisat/utils/Options.h +++ b/src/prop/minisat/utils/Options.h @@ -282,15 +282,15 @@ class Int64Option : public Option if (range.begin == INT64_MIN) fprintf(stderr, "imin"); else - fprintf(stderr, "%4"PRIi64, range.begin); + fprintf(stderr, "%4" PRIi64, range.begin); fprintf(stderr, " .. "); if (range.end == INT64_MAX) fprintf(stderr, "imax"); else - fprintf(stderr, "%4"PRIi64, range.end); + fprintf(stderr, "%4" PRIi64, range.end); - fprintf(stderr, "] (default: %"PRIi64")\n", value); + fprintf(stderr, "] (default: %" PRIi64")\n", value); if (verbose){ fprintf(stderr, "\n %s\n", description); fprintf(stderr, "\n"); |