Update stressapptest to 1.0.3.

[stressapptest] / src / sat.h

diff --git a/src/sat.h b/src/sat.h
index 950270f9011f724efd989841b5d54f6334cbb993..b48f51918650f6f3af4621cc7526588a1a1c2963 100644 (file)
--- a/src/sat.h
+++ b/src/sat.h
@@ -164,7 +164,7 @@ class Sat {
 
   bool error_injection_;              // Simulate errors, for unittests.
   bool crazy_error_injection_;        // Simulate lots of errors.
-  int64 max_errorcount_;              // Number of errors before forced exit.
+  uint64 max_errorcount_;             // Number of errors before forced exit.
   int run_on_anything_;               // Ignore unknown machine ereor.
   int use_logfile_;                   // Log to a file.
   char logfilename_[255];             // Name of file to log to.