From: Tim King <taking@google.com>
Date: Mon, 1 Feb 2016 19:45:14 +0000 (-0800)
Subject: Removing the CVC4_PUBLIC attribute from the forward declaration of Record in type.h.
X-Git-Tag: cvc5-1.0.0~6090
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=18973b31c440d998230aaba3e17bd915b168aa6f;p=cvc5.git

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 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;