diff src/help.cc @ 240:a99f28f5e351

[project @ 1993-11-30 20:24:36 by jwe]
author jwe
date Tue, 30 Nov 1993 20:24:36 +0000
parents 78fd87e624cb
children 742c4795aea9
line wrap: on
line diff
--- a/src/help.cc	Tue Nov 30 20:24:36 1993 +0000
+++ b/src/help.cc	Tue Nov 30 20:24:36 1993 +0000
@@ -21,11 +21,12 @@
 
 */
 
-#ifdef __GNUG__
-#pragma implementation
+#ifdef HAVE_CONFIG_H
+#include "config.h"
 #endif
 
 #include <iostream.h>
+
 #include "builtins.h"
 #include "help.h"