--- src/traps.c.orig	2020-05-23 06:13:27 UTC
+++ src/traps.c
@@ -21,7 +21,7 @@
 #include "display.h"
 #include "effects.h"
 #include "game.h"
-#include "nlarn.h"
+#include "extdefs.h"
 #include "player.h"
 #include "random.h"
 #include "traps.h"