From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 14 Mar 2013 21:23:43 +0000 (-0400)
Subject: Fix warning (line annotation)
X-Git-Tag: cvc5-1.0.0~7391^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fdb1a7181ad4883aa99893f3300ca766fb92d96e;p=cvc5.git

Fix warning (line annotation)
---

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index a52bc00ac..de94d0951 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -935,7 +935,7 @@ public:
 
 ${getConst_instantiations}
 
-#line 924 "${template}"
+#line 939 "${template}"
 
 namespace expr {