diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:57:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:57:29 -0700 |
| commit | 4cbc97a464d6406ed908e24477dfe0e172d48d5c (patch) | |
| tree | a51fc40aea35f0b70aef0b3e4c75ee15e8c4cc92 /src/sat/glucose | |
| parent | 8a11c911ab2a746eddfc05d5cc22d5a6b2aff73d (diff) | |
| download | abc-4cbc97a464d6406ed908e24477dfe0e172d48d5c.tar.gz abc-4cbc97a464d6406ed908e24477dfe0e172d48d5c.tar.bz2 abc-4cbc97a464d6406ed908e24477dfe0e172d48d5c.zip | |
Compiler warnings.
Diffstat (limited to 'src/sat/glucose')
| -rw-r--r-- | src/sat/glucose/Glucose.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/glucose/Glucose.cpp b/src/sat/glucose/Glucose.cpp index 6301a0f8..e90bf402 100644 --- a/src/sat/glucose/Glucose.cpp +++ b/src/sat/glucose/Glucose.cpp @@ -93,11 +93,11 @@ Solver::Solver() : , pCnfFunc(NULL) , nCallConfl(1000) , terminate_search_early(false) - , verbEveryConflicts(10000) , pstop(NULL) , nRuntimeLimit(0) , verbosity (0) + , verbEveryConflicts(10000) , showModel (0) , K (opt_K) , R (opt_R) |