diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-13 11:04:10 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-13 11:04:10 -0400 |
| commit | 3565ae8d2901c4bdd714ceb18f63ee25d4d01bf7 (patch) | |
| tree | 6aca7f2d00eedc0f437a0df8a8e244ab775e6268 /src/util/result.h | |
| parent | 389fe588bb08803d18e0009b31d97159ced6c540 (diff) | |
Fix language bindings and portfolio builds.
Diffstat (limited to 'src/util/result.h')
| -rw-r--r-- | src/util/result.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/result.h b/src/util/result.h index 54ec3a38c..21bf563bd 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -74,12 +74,12 @@ private: std::string d_inputName; public: - Result(std::string inputName = "") : + Result() : d_sat(SAT_UNKNOWN), d_validity(VALIDITY_UNKNOWN), d_which(TYPE_NONE), d_unknownExplanation(UNKNOWN_REASON), - d_inputName(inputName) { + d_inputName("") { } Result(enum Sat s, std::string inputName = "") : d_sat(s), |