diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2016-06-23 16:55:09 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-06-23 16:55:44 -0700 |
commit | bb25c992db15b8c6316af80ba32f2ffa0add0781 (patch) | |
tree | 64facc5b6cbbd21dddad71a1b263e99dea5684cd /src/options | |
parent | c167446c59939a56f10f853e7d33a92fc16df460 (diff) |
Fixed some warnings, fixed bug in cdhashmap that was crashing cdmap_black,
re-enabled cdmap_black.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/options_template.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index f029dfd17..694d46d31 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -720,7 +720,7 @@ void Options::parseOptionsRecursive(Options* options, switch(c) { ${all_modules_option_handlers} -#line 722 "${template}" +#line 724 "${template}" case ':': // This can be a long or short option, and the way to get at the @@ -798,7 +798,7 @@ std::string Options::suggestCommandLineOptions(const std::string& optionName) th static const char* smtOptions[] = { ${all_modules_smt_options}, -#line 800 "${template}" +#line 802 "${template}" NULL };/* smtOptions[] */ @@ -820,7 +820,7 @@ std::vector< std::vector<std::string> > Options::getOptions() const throw() { ${all_modules_get_options} -#line 762 "${template}" +#line 824 "${template}" return opts; } |