diff options
Diffstat (limited to 'src/options/options.h')
-rw-r--r-- | src/options/options.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/options.h b/src/options/options.h index 474fe3a4b..1b61994c5 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -33,12 +33,16 @@ namespace CVC4 { +namespace api { +class Solver; +} namespace options { struct OptionsHolder; class OptionsHandler; }/* CVC4::options namespace */ class CVC4_PUBLIC Options { + friend api::Solver; /** The struct that holds all option values. */ options::OptionsHolder* d_holder; |