Minor cleanup.

diff --git a/src/expr/type_checker_template.cpp b/src/expr/type_checker_template.cpp
index cf72d4e4ef44046bf741963697e2989361b5d3b7..29584216059aad9caef909c2fecc18dbf57035c7 100644 (file)
--- a/src/expr/type_checker_template.cpp
+++ b/src/expr/type_checker_template.cpp
@@ -83,7 +83,7 @@ bool TypeChecker::neverIsConst(NodeManager* nodeManager, TNode n)
   switch(n.getKind()) {
 ${neverconstrules}
 
-#line 90 "${template}"
+#line 87 "${template}"
 
   default:;
   }