From fc3ceebd4fe890715fd7e7f9bafdb37303a6810f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 16 Apr 2003 15:32:59 +0000
Subject: [PATCH] * src/ltlvisit/lunabbrev.hh: Add missing include guard.

---
 ChangeLog                 | 2 ++
 src/ltlvisit/lunabbrev.hh | 5 +++++
 2 files changed, 7 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 1fd46ef09..e25e81349 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2003-04-16  Alexandre DURET-LUTZ  <aduret@src.lip6.fr>
 
+	* src/ltlvisit/lunabbrev.hh: Add missing include guard.
+
 	* src/ltlvisit/lunabbrev.cc, src/ltlvisit/lunabbrev.hh: New files.
 	* src/ltlvisit/Makefile.am (libltlvisit_a_SOURCES): Add them.
 	* src/ltlast/multop.cc (multop::multop(type)): New constructor.
diff --git a/src/ltlvisit/lunabbrev.hh b/src/ltlvisit/lunabbrev.hh
index 03b40e1f2..c38f7f277 100644
--- a/src/ltlvisit/lunabbrev.hh
+++ b/src/ltlvisit/lunabbrev.hh
@@ -1,3 +1,6 @@
+#ifndef SPOT_LTLVISIT_UNABBREV_HH
+# define SPOT_LTLVISIT_UNABBREV_HH
+
 #include "ltlast/formula.hh"
 #include "ltlast/visitor.hh"
 
@@ -28,3 +31,5 @@ namespace spot
     formula* unabbreviate_logic(const formula* f);
   }
 }
+
+#endif //  SPOT_LTLVISIT_UNABBREV_HH