diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2013-09-24 16:25:53 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2013-09-24 16:33:56 -0700 |
| commit | 6dc529e6b1d4816e37b106a539592452027e22ac (patch) | |
| tree | 1cbde7510c8ab9a317b27e9476ff40e183dcc42f /src/smt/options_handlers.h | |
| parent | 5d1f359e22927f2bec78ba6a407485f65bc6ae0b (diff) | |
Better fix for bug 528
Diffstat (limited to 'src/smt/options_handlers.h')
| -rw-r--r-- | src/smt/options_handlers.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/smt/options_handlers.h b/src/smt/options_handlers.h index dc4975ab5..c631b8c84 100644 --- a/src/smt/options_handlers.h +++ b/src/smt/options_handlers.h @@ -186,6 +186,11 @@ inline void dumpMode(std::string option, std::string optarg, SmtEngine* smt) { } else if(!strcmp(p, "ite-removal")) { } else if(!strcmp(p, "repeat-simplify")) { } else if(!strcmp(p, "theory-preprocessing")) { + } else if(!strcmp(p, "nonclausal")) { + } else if(!strcmp(p, "theorypp")) { + } else if(!strcmp(p, "itesimp")) { + } else if(!strcmp(p, "unconstrained")) { + } else if(!strcmp(p, "repeatsimp")) { } else { throw OptionException(std::string("don't know how to dump `") + optargPtr + "'. Please consult --dump help."); |