Sat May 11 13:43:41 1996 Roland McGrath <roland@delasyd.gnu.ai.mit.edu>
authorroland <roland>
Sun, 12 May 1996 16:37:32 +0000 (16:37 +0000)
committerroland <roland>
Sun, 12 May 1996 16:37:32 +0000 (16:37 +0000)
* hurd/hurdfault.c: Include faultexc_server.h instead of faultexc.h.

hurd/hurdfault.c

index a8fe8fb..e1b06a3 100644 (file)
@@ -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;