# HG changeset patch
# User jwe
# Date 832003463 0
# Node ID b9cfacab52d1aef9cb941e6fdf3f75c9fac5df30
# Parent  0de32e6149300e2af3d736f50bed2b41e8e0669d
[project @ 1996-05-13 16:04:23 by jwe]

diff -r 0de32e614930 -r b9cfacab52d1 src/error.h
--- a/src/error.h	Mon May 13 15:00:42 1996 +0000
+++ b/src/error.h	Mon May 13 16:04:23 1996 +0000
@@ -47,6 +47,8 @@
 // The message buffer
 extern ostrstream *error_message_buffer;
 
+extern void symbols_of_error (void);
+
 #endif
 
 /*