From 18973b31c440d998230aaba3e17bd915b168aa6f Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Mon, 1 Feb 2016 11:45:14 -0800
Subject: [PATCH] Removing the CVC4_PUBLIC attribute from the forward
 declaration of Record in type.h.

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

diff --git a/src/expr/type.h b/src/expr/type.h
index 8a5a987d5..0f2118c44 100644
--- 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;
-- 
2.30.2