From b71360ae44057f9021c1b2d86d850a0036caf8df Mon Sep 17 00:00:00 2001 From: Damien Lefortier Date: Fri, 21 Mar 2008 21:59:34 +0100 Subject: [PATCH] Avoid in headers, better use . --- ChangeLog | 4 ++++ src/misc/freelist.hh | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index c77b35f08..70ece086e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2008-03-21 Damien Lefortier + + * src/misc/freelist.hh: Avoid in headers, better use . + 2008-03-21 Alexandre Duret-Lutz * src/tgbatest/ltl2tgba.cc, src/misc/hash.hh: Reformat the header diff --git a/src/misc/freelist.hh b/src/misc/freelist.hh index 4dd9cc744..cf24063db 100644 --- a/src/misc/freelist.hh +++ b/src/misc/freelist.hh @@ -25,7 +25,7 @@ #include #include -#include +#include namespace spot {