From 8001cf2c0bf6c3ed5dbf5b577eedbd4509721d18 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 10 Dec 2013 19:04:00 -0500
Subject: [PATCH] Fix warning.

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

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 {
 
-- 
2.30.2