diff options
author | Tim King <taking@google.com> | 2015-12-16 12:36:16 -0500 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-12-16 12:36:46 -0500 |
commit | a0c5d25a60c9602b2452633a9c70aa034669462c (patch) | |
tree | 506ed4626ff30479c855bcd282be6cfd4464b93b /src/expr/record.h | |
parent | b22464914f54de6a64e01cb26b7c0b08d2640dab (diff) |
Removing the Record iterator from the swig interface. Moving the cvc4 autogen include in interactive_shell.cpp.
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 { |