diff options
Diffstat (limited to 'hurd/hurdfault.c')
| -rw-r--r-- | hurd/hurdfault.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hurd/hurdfault.c b/hurd/hurdfault.c index a8fe8fb07f..e1b06a3f9f 100644 --- a/hurd/hurdfault.c +++ b/hurd/hurdfault.c @@ -25,7 +25,7 @@ Cambridge, MA 02139, USA. */ #include <setjmp.h> #include <stdio.h> #include "thread_state.h" -#include "faultexc.h" /* mig-generated header for our exc server. */ +#include "faultexc_server.h" /* mig-generated header for our exc server. */ #include <assert.h> jmp_buf _hurdsig_fault_env; |