From 831f2b7176bc3db49e2fb354918a71df896ad63a Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Wed, 9 Nov 2016 14:09:25 -0800
Subject: Renaming the class PtrCloser to not cause confusion with unique_ptr.

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

(limited to 'src/expr/metakind_template.h')

diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h
index 75521e901..1c03cf407 100644
--- a/src/expr/metakind_template.h
+++ b/src/expr/metakind_template.h
@@ -338,7 +338,7 @@ ${metakind_operatorKinds}
 
 }/* CVC4::kind namespace */
 
-#line 341 "${template}"
+#line 342 "${template}"
 
 namespace theory {
 
-- 
cgit v1.2.3