diff --git a/ChangeLog b/ChangeLog
index 8b82580a8..105ae6a0c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2003-04-29  Alexandre DURET-LUTZ  <aduret@src.lip6.fr>
 
+	* src/ltlenv/defaultenv.hh: Do not include atomic_prop.hh here...
+	* src/ltlenv/defaultenv.cc: ... but here.
+
 	* src/ltltest/tostring.test: Simplify with set -e.  Move the
 	description of the test ...
 	* src/ltltest/tostring.cc: ... here, where it is actually coded.
diff --git a/src/ltlenv/defaultenv.cc b/src/ltlenv/defaultenv.cc
index 4db008f10..0f9cc2e17 100644
--- a/src/ltlenv/defaultenv.cc
+++ b/src/ltlenv/defaultenv.cc
@@ -1,3 +1,4 @@
+#include "ltlast/atomic_prop.hh"
 #include "defaultenv.hh"
 
 namespace spot
diff --git a/src/ltlenv/defaultenv.hh b/src/ltlenv/defaultenv.hh
index df0c3ac56..164caad3b 100644
--- a/src/ltlenv/defaultenv.hh
+++ b/src/ltlenv/defaultenv.hh
@@ -2,7 +2,6 @@
 # define SPOT_LTLENV_DEFAULT_ENVIRONMENT_HH
 
 # include "environment.hh"
-# include "ltlast/atomic_prop.hh"
 
 namespace spot
 {