diff options
Diffstat (limited to 'src/expr/record.h')
-rw-r--r-- | src/expr/record.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/record.h b/src/expr/record.h index 2cd7defe9..d30536fb0 100644 --- a/src/expr/record.h +++ b/src/expr/record.h @@ -29,7 +29,7 @@ namespace CVC4 { // This forward delcartion is required to resolve a cicular dependency with // Record which is a referenced in a Kind file. -class CVC4_PUBLIC Type; +class Type; } /* namespace CVC4 */ namespace CVC4 { |