# HG changeset patch
# User jwe
# Date 831997656 0
# Node ID 0a2e2e64f813e52338f678fd11b46fe750e3e9f1
# Parent  d9b54157573429f2229af957f1722045bb335375
[project @ 1996-05-13 14:27:36 by jwe]

diff -r d9b541575734 -r 0a2e2e64f813 src/pt-fcn.h
--- a/src/pt-fcn.h	Mon May 13 14:20:46 1996 +0000
+++ b/src/pt-fcn.h	Mon May 13 14:27:36 1996 +0000
@@ -194,6 +194,8 @@
     }
 };
 
+extern void symbols_of_pt_fcn (void);
+
 #endif
 
 /*