# HG changeset patch
# User jwe
# Date 747891808 0
# Node ID 0813736dd5cdf3ff66969c779997617f54aee7f6
# Parent  4c130d05db388623723762c70890523201bb82ac
[project @ 1993-09-13 03:43:28 by jwe]

diff -r 4c130d05db38 -r 0813736dd5cd src/error.h
--- a/src/error.h	Mon Sep 13 03:43:14 1993 +0000
+++ b/src/error.h	Mon Sep 13 03:43:28 1993 +0000
@@ -36,7 +36,7 @@
 extern void usage (const char *fmt, ...);
 extern void warning (const char *fmt, ...);
 extern void error (const char *fmt, ...);
-extern void panic (const char *fmt, ...);
+extern void volatile panic (const char *fmt, ...);
 
 #endif