diff options
-rw-r--r-- | src/sat.cc | 4 | ||||
-rw-r--r-- | src/sat.h | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -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)) && @@ -174,7 +174,7 @@ class Sat { bool crazy_error_injection_; // Simulate lots of errors. uint64 max_errorcount_; // Number of errors before forced exit. int run_on_anything_; // Ignore unknown machine ereor. - int use_logfile_; // Log to a file. + bool use_logfile_; // Log to a file. char logfilename_[255]; // Name of file to log to. int logfile_; // File handle to log to. bool log_timestamps_; // Whether to add timestamps to log lines. |