diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-10-22 20:01:54 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-10-22 20:01:54 +0000 |
| commit | 056b2862761b8805d8035a8dc03672627e9d8b98 (patch) | |
| tree | a0255a889fe4debc5e85383cfd303814f5f358af /src/options | |
| parent | 0121bbafcfbd2b9a3b940e4fdf3a823a323f11c0 (diff) | |
one more incorrect #line fixed
Diffstat (limited to 'src/options')
| -rw-r--r-- | src/options/options_template.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index a2ecafa95..d7cd8813b 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -181,7 +181,7 @@ void runBoolPredicates(T, std::string option, bool b, SmtEngine* smt) { ${all_custom_handlers} -#line 220 "${template}" +#line 185 "${template}" #ifdef CVC4_DEBUG # define USE_EARLY_TYPE_CHECKING_BY_DEFAULT true |