From 578fa26cf33804e88e6892d2a27e956a91ce94ca Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 6 Jun 2003 09:22:05 +0000 Subject: [PATCH] * src/ltltest/equals.cc, src/ltltest/readltl.cc, src/tgba/bddprint.cc, src/ltltest/tostring.cc: Include . --- ChangeLog | 5 +++++ src/ltltest/equals.cc | 1 + src/ltltest/readltl.cc | 1 + src/ltltest/tostring.cc | 1 + src/tgba/bddprint.cc | 1 + 5 files changed, 9 insertions(+) diff --git a/ChangeLog b/ChangeLog index dde572efd..592bf6de8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2003-06-06 Alexandre Duret-Lutz + + * src/ltltest/equals.cc, src/ltltest/readltl.cc, + src/tgba/bddprint.cc, src/ltltest/tostring.cc: Include . + 2003-06-05 Alexandre Duret-Lutz * src/tgba/bddprint.cc (dict): Make this variable static. diff --git a/src/ltltest/equals.cc b/src/ltltest/equals.cc index c1c3455a4..4ef9c2539 100644 --- a/src/ltltest/equals.cc +++ b/src/ltltest/equals.cc @@ -1,4 +1,5 @@ #include +#include #include "ltlparse/public.hh" #include "ltlvisit/lunabbrev.hh" #include "ltlvisit/tunabbrev.hh" diff --git a/src/ltltest/readltl.cc b/src/ltltest/readltl.cc index 3a09bdbcc..2327aa9d6 100644 --- a/src/ltltest/readltl.cc +++ b/src/ltltest/readltl.cc @@ -1,4 +1,5 @@ #include +#include #include "ltlparse/public.hh" #include "ltlvisit/dump.hh" #include "ltlvisit/dotty.hh" diff --git a/src/ltltest/tostring.cc b/src/ltltest/tostring.cc index fe4726542..a9cc30c5c 100644 --- a/src/ltltest/tostring.cc +++ b/src/ltltest/tostring.cc @@ -1,4 +1,5 @@ #include +#include #include "ltlparse/public.hh" #include "ltlvisit/tostring.hh" #include "ltlvisit/destroy.hh" diff --git a/src/tgba/bddprint.cc b/src/tgba/bddprint.cc index 6eb68b7f1..0c7996024 100644 --- a/src/tgba/bddprint.cc +++ b/src/tgba/bddprint.cc @@ -1,4 +1,5 @@ #include +#include #include "bddprint.hh" #include "ltlvisit/tostring.hh"