diff options
Diffstat (limited to 'src/options/options.h')
-rw-r--r-- | src/options/options.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/options/options.h b/src/options/options.h index a83de9acb..8e1ca2b65 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -34,9 +34,6 @@ namespace options { class OptionsHandler; }/* CVC4::options namespace */ -// Forward declaration for smt_options -class ExprStream; - class CVC4_PUBLIC Options { /** The struct that holds all option values. */ options::OptionsHolder* d_holder; |