diff options
Diffstat (limited to 'src/main/util.cpp')
-rw-r--r-- | src/main/util.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/util.cpp b/src/main/util.cpp index 572aea00f..e2333b417 100644 --- a/src/main/util.cpp +++ b/src/main/util.cpp @@ -23,7 +23,7 @@ using CVC4::Exception; using namespace std; namespace CVC4 { -namespace Main { +namespace main { void sigint_handler(int sig, siginfo_t* info, void*) { fprintf(stderr, "CVC4 interrupted by user.\n"); @@ -51,5 +51,5 @@ void cvc4_init() throw() { throw new Exception(string("sigaction(SIGSEGV) failure: ") + strerror(errno)); } -}/* CVC4::Main namespace */ +}/* CVC4::main namespace */ }/* CVC4 namespace */ |