# HG changeset patch
# User jwe
# Date 831998802 0
# Node ID 977f7dd0999ca0e61aa838cab29983fb74266fa7
# Parent  bad1dffb5264c5181be338c4fbb8c554490c387c
[project @ 1996-05-13 14:46:42 by jwe]

diff -r bad1dffb5264 -r 977f7dd0999c src/pt-mat.h
--- a/src/pt-mat.h	Mon May 13 14:41:41 1996 +0000
+++ b/src/pt-mat.h	Mon May 13 14:46:42 1996 +0000
@@ -82,6 +82,8 @@
   void accept (tree_walker& tw);
 };
 
+extern void symbols_of_pt_mat (void);
+
 #endif
 
 /*