X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Ftest-dhcp-client.c;h=4473095938d2629b446e5e4decb7574a1faacbf4;hb=f3d00a23ad9537df1e8852595d7c3737782e014c;hp=c15f6939af7bf079c49b866c013195318d02c20c;hpb=d8b30702057c18dac2f35fd766ef5d2a12786eae;p=openvswitch

diff --git a/tests/test-dhcp-client.c b/tests/test-dhcp-client.c
index c15f6939..44730959 100644
--- a/tests/test-dhcp-client.c
+++ b/tests/test-dhcp-client.c
@@ -23,7 +23,6 @@
 #include "command-line.h"
 #include "dhcp.h"
 #include "fatal-signal.h"
-#include "fault.h"
 #include "poll-loop.h"
 #include "util.h"
 #include "vlog.h"
@@ -51,7 +50,6 @@ main(int argc, char *argv[])
     int error;
 
     set_program_name(argv[0]);
-    register_fault_handlers();
     vlog_init();
     parse_options(argc, argv);