Fix SIGILL handler

As pointed out by @cpitclaudel in pull request #172, we are using the same
handler for SIGSEGV and SIGILL and ill_handler() is unused. This commit changes
the SIGILL handler to ill_handler().

diff --git a/src/main/util.cpp b/src/main/util.cpp
index 72f431b0d8df07e78715b2817d5dd44ce74b5034..ab71a3f7ca6d166076e51798004cee28d4838218 100644 (file)
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -307,7 +307,7 @@ void cvc4_init() throw(Exception) {
   }
 
   struct sigaction act4;
-  act4.sa_sigaction = segv_handler;
+  act4.sa_sigaction = ill_handler;
   act4.sa_flags = SA_SIGINFO;
   sigemptyset(&act4.sa_mask);
   if(sigaction(SIGILL, &act4, NULL)) {