From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 16 Oct 2014 19:14:08 +0000 (-0400)
Subject: Fix clang warnings
X-Git-Tag: cvc5-1.0.0~6556
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=02f52d2f0c533c911c213f9ae24494618c52d227;p=cvc5.git

Fix clang warnings
---

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;