diff options
Diffstat (limited to 'src/options/options_template.cpp')
| -rw-r--r-- | src/options/options_template.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index ecf42ac58..231e5de90 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -14,8 +14,6 @@ ** Contains code for handling command-line options **/ -#warning "TODO: Remove ExprStream forward declaration from options.h." - #if !defined(_BSD_SOURCE) && defined(__MINGW32__) && !defined(__MINGW64__) // force use of optreset; mingw32 croaks on argv-switching otherwise # include "cvc4autoconfig.h" |