# HG changeset patch
# User jwe
# Date 830688345 0
# Node ID debe20e17d6462dc5913cee9e4297296ed0f77ad
# Parent  19ba1a7dcfbb8ee7c2e5be52c21675da3680d744
[project @ 1996-04-28 10:45:45 by jwe]

diff -r 19ba1a7dcfbb -r debe20e17d64 src/pager.cc
--- a/src/pager.cc	Sun Apr 28 10:42:14 1996 +0000
+++ b/src/pager.cc	Sun Apr 28 10:45:45 1996 +0000
@@ -31,6 +31,7 @@
 
 #include "procstream.h"
 
+#include "defaults.h"
 #include "defun.h"
 #include "error.h"
 #include "help.h"