diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-06 15:07:53 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-06 15:07:53 +0000 |
commit | 4e365ace4baa9eb519268c621ac69843a0599208 (patch) | |
tree | 49cedffa559d479f08bacb16aded7bc1e191c842 /src/expr | |
parent | 74929ac3d7bcc47ddc0e607bb6b1a77ed1be81d2 (diff) |
fixing the nightly failure. TypeCheckingException is now marked with CVC4_PUBLIC
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/expr_template.h | 2 |
1 files changed, 1 insertions, 1 deletions
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: |