Removing the CVC4_PUBLIC attribute from the forward declaration of Record in type.h.

diff --git a/src/expr/type.h b/src/expr/type.h
index 8a5a987d550d6d57ab3c7b76a0d3665f747abec6..0f2118c44a9285f39b9950e662ed9f3d7e7b1e2b 100644 (file)
--- a/src/expr/type.h
+++ b/src/expr/type.h
@@ -38,7 +38,7 @@ struct CVC4_PUBLIC ExprManagerMapCollection;
 class CVC4_PUBLIC SmtEngine;
 
 class CVC4_PUBLIC Datatype;
-class CVC4_PUBLIC Record;
+class Record;
 
 template <bool ref_count>
 class NodeTemplate;