diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-24 21:03:35 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-24 21:03:35 +0000 |
commit | 811158832b74e3b101af2c7473f4e11a41377dd4 (patch) | |
tree | 07c55ab126dd7eb24239b615c987a490b182c8a6 /src/main/util.cpp | |
parent | f6968899de4d27c5bc986c3ac89972fbbe35c361 (diff) |
configure option adjustments as per 11/24 meeting; various fixes and improvements
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 */ |