From 167800afdf2c824bc0dde551c54af129d4112ac0 Mon Sep 17 00:00:00 2001
From: Sean Hunt <scshunt@csclub.uwaterloo.ca>
Date: Sat, 9 May 2015 13:07:49 -0400
Subject: [PATCH] Fix type compatibility warning.

---
 include/extern.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/extern.h b/include/extern.h
index 1b6bb6fcf..65be6a55e 100644
--- a/include/extern.h
+++ b/include/extern.h
@@ -756,7 +756,7 @@ E int FDECL(nhclose, (int));
 E void NDECL(really_close);
 #endif
 #ifdef DEBUG
-E boolean FDECL(debugcore, (const char *, boolean));
+E boolean FDECL(debugcore, (const char *, BOOLEAN_P));
 #endif
 E boolean FDECL(read_tribute, (const char *,const char *,int));