diff --git a/ChangeLog b/ChangeLog
index 3df1565b1..70d4faa10 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-10-14  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ltltest/reduc.test: Do source ./defs.  Revert mistaken
+	change from 2004-09-13.
+
 	* src/tgbatest/explicit.test: Typo.
 
 2004-10-13  Alexandre Duret-Lutz  <adl@src.lip6.fr>
diff --git a/src/ltltest/reduc.test b/src/ltltest/reduc.test
index 9932a219c..858b2337f 100755
--- a/src/ltltest/reduc.test
+++ b/src/ltltest/reduc.test
@@ -22,7 +22,7 @@
 
 
 # Check for the reduc visitor.
-# . ./defs || exit 1
+. ./defs || exit 1
 
 set -e