From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Thu, 6 May 2010 15:07:53 +0000 (+0000)
Subject: fixing the nightly failure. TypeCheckingException is now marked with CVC4_PUBLIC
X-Git-Tag: cvc5-1.0.0~9075
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4e365ace4baa9eb519268c621ac69843a0599208;p=cvc5.git

fixing the nightly failure. TypeCheckingException is now marked with CVC4_PUBLIC
---

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index ceef80292..99b57b0c2 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -42,7 +42,7 @@ class Expr;
 /**
  * Exception thrown in the case of type-checking errors.
  */
-class TypeCheckingException : public Exception {
+class CVC4_PUBLIC TypeCheckingException : public Exception {
 
 private: