From d865c4787c90768ab18feb0fe7316dcfe5d5518b Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 25 Jun 2014 00:15:05 -0400 Subject: [PATCH] Fix some #line annotations. --- src/options/options_template.cpp | 8 ++++---- 1 file 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 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); } -- 2.30.2