diff options
| -rw-r--r-- | src/main/util.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/util.cpp b/src/main/util.cpp index 72f431b0d..ab71a3f7c 100644 --- 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)) { |