diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-08-10 16:55:55 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2017-08-10 16:55:55 -0700 |
commit | 0ce756c379c753899c62f88e725bac4a55dea1cd (patch) | |
tree | 3da21b85dd1004e9761bb2e07608bbc2456d8cfd /src/options | |
parent | 9a8981a21e03a41e7a830ca63fdfff489dd8f9be (diff) |
Fix line numbers in options_template
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/options_template.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index 6144b57dc..bc97e6028 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -500,7 +500,7 @@ static struct option cmdlineOptions[] = {${all_modules_long_options} { NULL, no_argument, NULL, '\0' } };/* cmdlineOptions */ -#line 502 "${template}" +#line 504 "${template}" // static void preemptGetopt(int& argc, char**& argv, const char* opt) { @@ -722,7 +722,7 @@ void Options::parseOptionsRecursive(Options* options, switch(c) { ${all_modules_option_handlers} -#line 724 "${template}" +#line 726 "${template}" case ':': // This can be a long or short option, and the way to get at the @@ -800,7 +800,7 @@ std::string Options::suggestCommandLineOptions(const std::string& optionName) th static const char* smtOptions[] = { ${all_modules_smt_options}, -#line 802 "${template}" +#line 804 "${template}" NULL };/* smtOptions[] */ @@ -822,7 +822,7 @@ std::vector< std::vector<std::string> > Options::getOptions() const throw() { ${all_modules_get_options} -#line 824 "${template}" +#line 826 "${template}" return opts; } |