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 ceef80292b0e266bc3c3b7dcd8eb260a4a085da5..99b57b0c2c174fb488a6d7c75d386614a6889ddb 100644 (file)
--- 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: