From 02f52d2f0c533c911c213f9ae24494618c52d227 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 16 Oct 2014 15:14:08 -0400
Subject: [PATCH] Fix clang warnings

---
 src/expr/node.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/expr/node.h b/src/expr/node.h
index 9f0eaf3cd..080034e70 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -149,7 +149,7 @@ class NodeValue;
 
   namespace attr {
     class AttributeManager;
-    class SmtAttributes;
+    struct SmtAttributes;
   }/* CVC4::expr::attr namespace */
 
   class ExprSetDepth;
@@ -215,7 +215,7 @@ class NodeTemplate {
   friend class NodeBuilder;
 
   friend class ::CVC4::expr::attr::AttributeManager;
-  friend class ::CVC4::expr::attr::SmtAttributes;
+  friend struct ::CVC4::expr::attr::SmtAttributes;
 
   friend struct ::CVC4::kind::metakind::NodeValueConstPrinter;
 
-- 
2.30.2