diff options
Diffstat (limited to 'src')
| -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: |