# HG changeset patch
# User jwe
# Date 845077478 0
# Node ID bf6a96fd9b7e471b4d570060c43c373cd37bc5ab
# Parent  5c9e8f5c10c31c2a3df0a3e9cce44c01512a8b4c
[project @ 1996-10-11 23:44:38 by jwe]

diff --git a/src/pager.cc b/src/pager.cc
--- a/src/pager.cc
+++ b/src/pager.cc
@@ -44,6 +44,7 @@
 #include "sighandlers.h"
 #include "unwind-prot.h"
 #include "utils.h"
+#include "variables.h"
 
 static pid_t octave_pager_pid = -1;