# HG changeset patch
# User jwe
# Date 754691879 0
# Node ID 62fec093c19ed9de1c0f48ad4dfc4e9af6a3a6c7
# Parent  a99f28f5e351451994aef3f9bd73f43e9619954b
[project @ 1993-11-30 20:35:59 by jwe]

diff -r a99f28f5e351 -r 62fec093c19e src/utils.h
--- a/src/utils.h	Tue Nov 30 20:24:36 1993 +0000
+++ b/src/utils.h	Tue Nov 30 20:37:59 1993 +0000
@@ -80,6 +80,7 @@
 extern char **get_m_file_names (int& mfl_len, int no_suffix);
 extern int NINT (double x);
 extern double D_NINT (double x);
+extern void delete_ppchar (char **);
 
 #endif