X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffatal-signal.c;h=3f118f8aa317505e1abbbabca4a19a9e236b2ab0;hb=92467099ee05b930b060d34d05b81bb1322e6fbf;hp=d9442a3eff7eb2ee1a05985b0e0863c9a3389457;hpb=5136ce492c414f377f7be9ae32b259abb9f76580;p=openvswitch

diff --git a/lib/fatal-signal.c b/lib/fatal-signal.c
index d9442a3e..3f118f8a 100644
--- a/lib/fatal-signal.c
+++ b/lib/fatal-signal.c
@@ -249,7 +249,7 @@ fatal_signal_unlink_file_now(const char *file)
 static void
 unlink_files(void *aux OVS_UNUSED)
 {
-    do_unlink_files(); 
+    do_unlink_files();
 }
 
 static void