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),