Fix clang warnings

diff --git a/src/expr/node.h b/src/expr/node.h
index 9f0eaf3cddb76ab3fd7316d98668d43c3cfe239e..080034e70533140907dff2af744fc838fd9bc425 100644 (file)
--- 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;