Fixing line numbers on type_checker_template.cpp (#1574)

diff --git a/src/expr/type_checker_template.cpp b/src/expr/type_checker_template.cpp
index bb02528c701d31e224c977256eab142c68126ddb..ed615c8740dc8182a0ef21d0de09fc5a3b02e55e 100644 (file)
--- a/src/expr/type_checker_template.cpp
+++ b/src/expr/type_checker_template.cpp
@@ -65,7 +65,7 @@ bool TypeChecker::computeIsConst(NodeManager* nodeManager, TNode n)
   switch(n.getKind()) {
 ${construles}
 
-#line 70 "${template}"
+#line 69 "${template}"
 
   default:;
   }
@@ -81,7 +81,7 @@ bool TypeChecker::neverIsConst(NodeManager* nodeManager, TNode n)
   switch(n.getKind()) {
 ${neverconstrules}
 
-#line 87 "${template}"
+#line 85 "${template}"
 
   default:;
   }