From fc4c03cf3ed14952de2d926cdd0cc28d9db4e451 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 4 Dec 2013 16:45:23 -0500
Subject: [PATCH] Minor cleanup.

---
 src/expr/type_checker_template.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/expr/type_checker_template.cpp b/src/expr/type_checker_template.cpp
index cf72d4e4e..295842160 100644
--- 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:;
   }
-- 
2.30.2