fix #line number warnings (sorry!)

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;