From de6385acd4e4b9293760b30ac2ab761390913e13 Mon Sep 17 00:00:00 2001
From: tomo <tomo>
Date: Tue, 28 May 2002 10:47:49 +0000
Subject: [PATCH] (ids-modules-to-compile): Add `ids-read'; delete `iddef'.

---
 IDS-ELS |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/IDS-ELS b/IDS-ELS
index 770f94c..901cd51 100644
--- a/IDS-ELS
+++ b/IDS-ELS
@@ -5,7 +5,7 @@
 ;;; Code:
 
 (setq ids-modules-to-compile
-      '(ids ids-util iddef))
+      '(ids ids-util ids-read))
 
 (setq ids-modules-not-to-compile nil)
 
-- 
1.7.10.4