diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-11-05 17:43:52 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-11-05 17:43:52 +0000 |
| commit | dbcc42c807706a20fcc2c45619d3cd949b6de37a (patch) | |
| tree | fade7cca77d013921ea8bfa0b20c1102ec905ec8 /src/main | |
| parent | 93e6b2f2514295c15950ea5cc44948835f830a85 (diff) | |
Moving Options fiddling to options.h
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/main.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index c740604c3..fcd322e99 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -155,10 +155,6 @@ int runCvc4(int argc, char* argv[]) { // If in competition mode, set output stream option to flush immediately #ifdef CVC4_COMPETITION_MODE *options.out << unitbuf; - // competition mode implies --no-checking - options.semanticChecks = false; - options.typeChecking = false; - options.earlyTypeChecking = false; #endif // We only accept one input file |