From fdb1a7181ad4883aa99893f3300ca766fb92d96e Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 14 Mar 2013 17:23:43 -0400
Subject: [PATCH] Fix warning (line annotation)

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