# HG changeset patch
# User jwe
# Date 774852926 0
# Node ID b15c1fafec8495c96287054324790e85e96f7e72
# Parent  682393bf54f701def16cffb975d5d17569956900
[project @ 1994-07-22 04:55:14 by jwe]

diff -r 682393bf54f7 -r b15c1fafec84 src/pt-exp-base.cc
--- a/src/pt-exp-base.cc	Fri Jul 22 04:44:45 1994 +0000
+++ b/src/pt-exp-base.cc	Fri Jul 22 04:55:26 1994 +0000
@@ -42,6 +42,7 @@
 
 #include "variables.h"
 #include "user-prefs.h"
+#include "help.h"
 #include "error.h"
 #include "pager.h"
 #include "tree.h"
diff -r 682393bf54f7 -r b15c1fafec84 src/pt-plot.cc
--- a/src/pt-plot.cc	Fri Jul 22 04:44:45 1994 +0000
+++ b/src/pt-plot.cc	Fri Jul 22 04:55:26 1994 +0000
@@ -43,6 +43,7 @@
 #include "user-prefs.h"
 #include "tree-const.h"
 #include "tree-plot.h"
+#include "help.h"
 #include "error.h"
 #include "utils.h"
 #include "tree.h"