diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-04 14:29:57 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-04 14:29:57 -0800 |
| commit | bc288a76332b1684b0183084aee0a4f46c617b62 (patch) | |
| tree | dd8054d1408836d7e1bdc51eb6b2af2fb351eb70 /src/sat | |
| parent | 9842e82326b8e0a6605460888ae56757cb9a9a0f (diff) | |
| download | abc-bc288a76332b1684b0183084aee0a4f46c617b62.tar.gz abc-bc288a76332b1684b0183084aee0a4f46c617b62.tar.bz2 abc-bc288a76332b1684b0183084aee0a4f46c617b62.zip | |
Suggested white-space changes for fewer gcc warnings.
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/glucose/Options.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/glucose/Options.cpp b/src/sat/glucose/Options.cpp index a310809e..d0a4793f 100644 --- a/src/sat/glucose/Options.cpp +++ b/src/sat/glucose/Options.cpp @@ -65,7 +65,7 @@ void Gluco::printUsageAndExit (int argc, char** argv, bool verbose) if (usage != NULL) fprintf(stderr, usage, argv[0]); - sort(Option::getOptionList(), Option::OptionLt()); + sort(Option::getOptionList(), Option::OptionLt()); const char* prev_cat = NULL; const char* prev_type = NULL; |