diff --git a/src/igc.c b/src/igc.c
index c2669c3081d..61886f5cf90 100644
--- a/src/igc.c
+++ b/src/igc.c
@@ -1781,11 +1781,6 @@ scan_kboard (mps_ss_t ss, void *start, void *end, void *closure)
   return MPS_RES_OK;
 }
 
-static int _Noreturn foo(void)
-{
-  return 1;
-}
-
 /***********************************************************************
 			 Default pad, fwd, ...
  ***********************************************************************/