Merge pull request #57 from ymjmsghs1/change_type

[stressapptest] / src / sat.cc

diff --git a/src/sat.cc b/src/sat.cc
index 7b72ec239acb8d23575f61bc6ce89c686b0c1f67..0528bf2691e4425dda0043bff4bfb3fa28ef4f6d 100644 (file)
--- a/src/sat.cc
+++ b/src/sat.cc
@@ -680,7 +680,7 @@ Sat::Sat() {
   strict_ = 1;
   warm_ = 0;
   run_on_anything_ = 0;
-  use_logfile_ = 0;
+  use_logfile_ = false;
   logfile_ = 0;
   log_timestamps_ = true;
   // Detect 32/64 bit binary.
@@ -1015,7 +1015,7 @@ bool Sat::ParseArgs(int argc, char **argv) {
 
   // Set logfile flag.
   if (strcmp(logfilename_, ""))
-    use_logfile_ = 1;
+    use_logfile_ = true;
   // Checks valid page length.
   if (page_length_ &&
       !(page_length_ & (page_length_ - 1)) &&