diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-25 00:15:05 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-25 10:36:14 -0400 |
| commit | d865c4787c90768ab18feb0fe7316dcfe5d5518b (patch) | |
| tree | c030fdf0c4eb314cfcdd8f0c87cb23cfaac2ec54 /src/options/options_template.cpp | |
| parent | 8608e446b4558d8470b9651596c321762907b772 (diff) | |
Fix some #line annotations.
Diffstat (limited to 'src/options/options_template.cpp')
| -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 8a5cdd8d5..5c5487e70 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -314,7 +314,7 @@ static struct option cmdlineOptions[] = {${all_modules_long_options} { NULL, no_argument, NULL, '\0' } };/* cmdlineOptions */ -#line 317 "${template}" +#line 318 "${template}" static void preemptGetopt(int& argc, char**& argv, const char* opt) { const size_t maxoptlen = 128; @@ -507,7 +507,7 @@ std::vector<std::string> Options::parseOptions(int argc, char* main_argv[]) thro switch(c) { ${all_modules_option_handlers} -#line 510 "${template}" +#line 511 "${template}" case ':': // This can be a long or short option, and the way to get at the @@ -576,7 +576,7 @@ std::string Options::suggestCommandLineOptions(const std::string& optionName) th static const char* smtOptions[] = { ${all_modules_smt_options}, -#line 579 "${template}" +#line 580 "${template}" NULL };/* smtOptions[] */ @@ -598,7 +598,7 @@ SExpr Options::getOptions() const throw() { ${all_modules_get_options} -#line 601 "${template}" +#line 602 "${template}" return SExpr(opts); } |