# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1193093460 0
# Node ID 2893ae5a7cc9d9e6eee2491a6e7716e22d0b71b5
# Parent  7f3100edb23861ccb8db951790d2e3934556fe7d
(w32_abort): Move declaration to nt/config.nt.

diff -r 7f3100edb238 -r 2893ae5a7cc9 src/w32fns.c
--- a/src/w32fns.c	Mon Oct 22 22:42:54 2007 +0000
+++ b/src/w32fns.c	Mon Oct 22 22:51:00 2007 +0000
@@ -9100,8 +9100,6 @@
 
 #undef abort
 
-void w32_abort (void) NO_RETURN;
-
 void
 w32_abort()
 {