diff options
| author | Tim King <taking@cs.nyu.edu> | 2014-06-25 10:46:43 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2014-06-25 10:46:43 -0400 |
| commit | 71155acfab0003572d508861526b83554451aaf7 (patch) | |
| tree | 3166c352ff15b3e6e022d383dbbfbd43fbcc8555 /src | |
| parent | b1e7d97356e2926d67a4208168e7b6017d7f77ed (diff) | |
| parent | d865c4787c90768ab18feb0fe7316dcfe5d5518b (diff) | |
Merge branch 'master' of github.com:CVC3/CVC4
Diffstat (limited to 'src')
| -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); } |