From e9beca0d56449460e70c2aa5248bcb7e4f27df91 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 4 Jan 2005 13:20:50 +0000
Subject: [PATCH] fix eof, truncated by last commit

---
 src/tgbaalgos/emptiness_stats.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tgbaalgos/emptiness_stats.hh b/src/tgbaalgos/emptiness_stats.hh
index 42b28fc9e..b6d48f7ec 100644
--- a/src/tgbaalgos/emptiness_stats.hh
+++ b/src/tgbaalgos/emptiness_stats.hh
@@ -142,4 +142,4 @@ namespace spot
   /// @}
 }
 
-#endif // SPOT_TGBAALGOS_EMPTINESS_STATS_
\ No newline at end of file
+#endif // SPOT_TGBAALGOS_EMPTINESS_STATS_HH