Commit fec4f04a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/ltlenv/defaultenv.hh: Do not include atomic_prop.hh here...

* src/ltlenv/defaultenv.cc: ... but here.
parent d17a86e8
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.
......
#include "ltlast/atomic_prop.hh"
#include "defaultenv.hh"
namespace spot
......
......@@ -2,7 +2,6 @@
# define SPOT_LTLENV_DEFAULT_ENVIRONMENT_HH
# include "environment.hh"
# include "ltlast/atomic_prop.hh"
namespace spot
{
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment