diff options
-rw-r--r-- | src/expr/type.h | 2 |
1 files changed, 1 insertions, 1 deletions
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; |