From fec4f04a2f77cd58d24243b70d02d37b537e8e81 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 29 Apr 2003 12:59:45 +0000
Subject: [PATCH] * src/ltlenv/defaultenv.hh: Do not include atomic_prop.hh
 here... * src/ltlenv/defaultenv.cc: ... but here.

---
 ChangeLog                | 3 +++
 src/ltlenv/defaultenv.cc | 1 +
 src/ltlenv/defaultenv.hh | 1 -
 3 files changed, 4 insertions(+), 1 deletion(-)

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
 {