diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-13 15:51:27 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-13 15:51:27 +0000 |
commit | 39c17191ad88a50bfffdbbc5ed8b493ad99b3fb5 (patch) | |
tree | 379084e939f37be0bff49a904fc853eafc8be356 /src/util/options.cpp | |
parent | 56bd7f581bdf1cf48db9f018a71dff22af123535 (diff) |
fixing build warnings
Diffstat (limited to 'src/util/options.cpp')
-rw-r--r-- | src/util/options.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/util/options.cpp b/src/util/options.cpp index 46997a04d..a9405fb25 100644 --- a/src/util/options.cpp +++ b/src/util/options.cpp @@ -123,9 +123,9 @@ Options::Options() : thread_id(-1), separateOutput(false), sharingFilterByLength(-1), - bitvector_eager_bitblast(false), - bitvector_share_lemmas(false), - bitvector_eager_fullcheck(false), + bitvectorEagerBitblast(false), + bitvectorEagerFullcheck(false), + bitvectorShareLemmas(false), sat_refine_conflicts(false) { } @@ -942,17 +942,17 @@ throw(OptionException) { } case BITVECTOR_EAGER_BITBLAST: { - bitvector_eager_bitblast = true; + bitvectorEagerBitblast = true; break; } case BITVECTOR_EAGER_FULLCHECK: { - bitvector_eager_fullcheck = true; + bitvectorEagerFullcheck = true; break; } case BITVECTOR_SHARE_LEMMAS: { - bitvector_share_lemmas = true; + bitvectorShareLemmas = true; break; } case SAT_REFINE_CONFLICTS: |