diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-12-18 05:07:19 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-12-18 05:07:19 +0000 |
commit | 2eef69eb63f3a5637f8711944e3d056672872f20 (patch) | |
tree | ab534fd3345dfb307267b991994a54e860d79064 /src/util/options.h | |
parent | 093492af43fae12d7f1d4607e63b1da686044ea6 (diff) |
Lots of parser changes to make Chris happy. Yet more to come later.
Diffstat (limited to 'src/util/options.h')
-rw-r--r-- | src/util/options.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/util/options.h b/src/util/options.h index 2bfbf675f..d6c4e9009 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -13,11 +13,12 @@ ** Global (command-line or equivalent) tuning parameters. **/ -#include <iostream> - #ifndef __CVC4__OPTIONS_H #define __CVC4__OPTIONS_H +#include <iostream> +#include "parser/parser.h" + namespace CVC4 { struct Options { @@ -48,7 +49,7 @@ struct Options { }; /** The input language */ - InputLanguage lang; + parser::Parser::InputLanguage lang; Options() : binary_name(), smtcomp_mode(false), @@ -56,7 +57,7 @@ struct Options { out(0), err(0), verbosity(0), - lang(LANG_AUTO) + lang(parser::Parser::LANG_AUTO) {} };/* struct Options */ |