From 5eb9c81f3645e0d531ab6622ef2e900be717566d Mon Sep 17 00:00:00 2001
From: dave <dave>
Date: Wed, 21 Nov 2007 16:44:50 +0000
Subject: [PATCH] - Add a missing header

---
 admin/index.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/admin/index.php b/admin/index.php
index ddba5469..063537e9 100644
--- a/admin/index.php
+++ b/admin/index.php
@@ -23,6 +23,7 @@
 ?>
 <?
  require_once("../common.inc.php");
+ require_once("../user.inc.php");
  require_once("../committee.inc.php");
 
  user_auth_required('committee','admin');