diff options
Diffstat (limited to 'source/lib/fault.c')
| -rw-r--r-- | source/lib/fault.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/source/lib/fault.c b/source/lib/fault.c index 885e35e0233..29272f19280 100644 --- a/source/lib/fault.c +++ b/source/lib/fault.c @@ -20,9 +20,12 @@ */ #include "includes.h" +extern int DEBUGLEVEL; + static void (*cont_fn)(void *); + /******************************************************************* report a fault ********************************************************************/ |