diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-14 00:08:52 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-14 00:08:52 +0000 |
commit | 5b8b6acd9091e2afec654ebed1332d6755bbb7d9 (patch) | |
tree | 2cb0db314d266ec048d2797ab1ae3c9dd6c33f3b /src/theory | |
parent | 64d707c3a97a8bbc46d4f3cd07e3a4d3908130b1 (diff) |
fix #line number warnings (sorry!)
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/instantiator_tables_template.cpp | 4 | ||||
-rw-r--r-- | src/theory/type_enumerator_template.cpp | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/instantiator_tables_template.cpp b/src/theory/instantiator_tables_template.cpp index 3460d5fcb..bc038df63 100644 --- a/src/theory/instantiator_tables_template.cpp +++ b/src/theory/instantiator_tables_template.cpp @@ -20,7 +20,7 @@ ${instantiator_includes} -#line 26 "${template}" +#line 24 "${template}" namespace CVC4 { namespace theory { @@ -28,7 +28,7 @@ namespace theory { Instantiator* Theory::makeInstantiator(context::Context* c, theory::QuantifiersEngine* qe) { switch(d_id) { ${make_instantiator_cases} -#line 34 "${template}" +#line 32 "${template}" default: Unhandled(d_id); } diff --git a/src/theory/type_enumerator_template.cpp b/src/theory/type_enumerator_template.cpp index 727637c13..00faeebd5 100644 --- a/src/theory/type_enumerator_template.cpp +++ b/src/theory/type_enumerator_template.cpp @@ -22,7 +22,7 @@ #include "util/cvc4_assert.h" ${type_enumerator_includes} -#line 28 "${template}" +#line 26 "${template}" using namespace std; @@ -43,7 +43,7 @@ ${mk_type_enumerator_type_constant_cases} } Unreachable(); ${mk_type_enumerator_cases} -#line 49 "${template}" +#line 47 "${template}" default: { stringstream ss; |