import os

diff --git a/config.py b/config.py
index d5c8338..7321361 100644 (file)
--- a/config.py
+++ b/config.py
@@ -6,9 +6,11 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: config.py,v 1.4 2006/10/31 23:16:16 mlhuang Exp $
+# $Id: config.py,v 1.5 2006/11/18 18:15:37 mlhuang Exp $
 #
 
+import os
+
 class Config:
     """
     Parses Python configuration files; all variables in the file are