From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 4 Dec 2013 21:45:23 +0000 (-0500)
Subject: Minor cleanup.
X-Git-Tag: cvc5-1.0.0~7206
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fc4c03cf3ed14952de2d926cdd0cc28d9db4e451;p=cvc5.git

Minor cleanup.
---

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:;
   }