diff options
Diffstat (limited to 'src/main/getopt.cpp')
| -rw-r--r-- | src/main/getopt.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp index f1fe375b6..dcb23c303 100644 --- a/src/main/getopt.cpp +++ b/src/main/getopt.cpp @@ -10,6 +10,7 @@ ** [[ Add file-specific comments here ]] **/ +#include <cstdio> #include <cstdlib> #include <new> #include <unistd.h> @@ -29,7 +30,7 @@ using namespace std; using namespace CVC4; namespace CVC4 { -namespace Main { +namespace main { static const char lang_help[] = "\ Languages currently supported to the -L / --lang option:\n\ @@ -135,5 +136,5 @@ int parseOptions(int argc, char** argv, CVC4::Options* opts) throw(Exception*) { return optind; } -}/* CVC4::Main namespace */ +}/* CVC4::main namespace */ }/* CVC4 namespace */ |