From: Tim King <taking@cs.nyu.edu>
Date: Thu, 8 Feb 2018 00:11:36 +0000 (-0800)
Subject: Fixing line numbers on type_checker_template.cpp (#1574)
X-Git-Tag: cvc5-1.0.0~5313
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=db6d6f0f330b28a68841a4c75b63d61b434496ba;p=cvc5.git

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 bb02528c7..ed615c874 100644
--- 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:;
   }