From 041ac51f5816dfdd813352db984591664afebb9a Mon Sep 17 00:00:00 2001 From: ymjmsghs1 Date: Fri, 15 Dec 2017 15:38:41 +0900 Subject: [PATCH] Change integer 'use_logfile_' to boolean Signed-off-by: ymjmsghs1 --- src/sat.cc | 4 ++-- src/sat.h | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sat.cc b/src/sat.cc index 7b72ec2..0528bf2 100644 --- 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)) && diff --git a/src/sat.h b/src/sat.h index 5cc3bec..33824b4 100644 --- a/src/sat.h +++ b/src/sat.h @@ -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. -- 2.30.2