From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 11 Dec 2013 00:04:00 +0000 (-0500)
Subject: Fix warning.
X-Git-Tag: cvc5-1.0.0~6987^2~42
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8001cf2c0bf6c3ed5dbf5b577eedbd4509721d18;p=cvc5.git

Fix warning.
---

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 756145bda..0c7acce9c 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -934,7 +934,7 @@ public:
 
 ${getConst_instantiations}
 
-#line 939 "${template}"
+#line 938 "${template}"
 
 namespace expr {