Generate code for options with modes. (#3561)

This commit adds support for code generation of options with modes (enums). From now on option enums can be specified in the corresponding *.toml files without the need of extra code. All option enums are now in the options namespace.

1 files changed, 0 insertions, 3 deletions

diff --git a/src/options/options.i b/src/options/options.i
index 25eecaf2d..ba98c4fc4 100644
--- a/src/options/options.i
+++ b/src/options/options.i
@@ -2,9 +2,6 @@
 #include "options/options.h"
 %}
 
-%ignore CVC4::operator<<(std::ostream&, SimplificationMode);
-%ignore CVC4::operator<<(std::ostream&, ArithPivotRule);
-
 %apply char** STRING_ARRAY { char* argv[] }
 %include "options/options.h"
 %clear char* argv[];