X-Git-Url: https://git.wh0rd.org/?p=dump.git;a=blobdiff_plain;f=common%2Fdumprmt.c;h=31eb63fc8b550ccd27202848398d834e9d6181f9;hp=dcd319d334581afe852bb665f5cc2a2c5108d7f6;hb=d6967896bc4e18f9b4359a2ef5be5c0f1bcc456a;hpb=0bd5aa901caaf832e40166fc72994c2923cfb159

diff --git a/common/dumprmt.c b/common/dumprmt.c
index dcd319d..31eb63f 100644
--- a/common/dumprmt.c
+++ b/common/dumprmt.c
@@ -41,9 +41,10 @@
 
 #ifndef lint
 static const char rcsid[] =
-	"$Id: dumprmt.c,v 1.14 2000/12/04 15:43:16 stelian Exp $";
+	"$Id: dumprmt.c,v 1.15 2000/12/21 11:14:53 stelian Exp $";
 #endif /* not lint */
 
+#include <config.h>
 #ifdef __linux__
 #include <sys/types.h>
 #include <linux/types.h>