diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 22:11:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 22:11:37 +0000 |
commit | 093492af43fae12d7f1d4607e63b1da686044ea6 (patch) | |
tree | d27effb35d74a299dc135b9ee85f3adc2b065061 /src/main/util.cpp | |
parent | dfcf7dba0b2d8ad6eb9d8540e92804e70205b8fb (diff) |
more build system fix-ups
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 9bb96d853..0b33b145d 100644 --- a/src/main/util.cpp +++ b/src/main/util.cpp @@ -46,14 +46,14 @@ void cvc4_init() throw() { act1.sa_flags = SA_SIGINFO; sigemptyset(&act1.sa_mask); if(sigaction(SIGINT, &act1, NULL)) - throw new Exception(string("sigaction(SIGINT) failure: ") + strerror(errno)); + throw Exception(string("sigaction(SIGINT) failure: ") + strerror(errno)); struct sigaction act2; act2.sa_sigaction = segv_handler; act2.sa_flags = SA_SIGINFO; sigemptyset(&act2.sa_mask); if(sigaction(SIGSEGV, &act2, NULL)) - throw new Exception(string("sigaction(SIGSEGV) failure: ") + strerror(errno)); + throw Exception(string("sigaction(SIGSEGV) failure: ") + strerror(errno)); } }/* CVC4::main namespace */ |