From 51094329d8c12deeee05078c2f8b4e3fd7619e97 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 25 Aug 2003 19:21:02 +0000
Subject: [PATCH] * src/tgba/state.hh (state_ptr_less_than): Make sure left is
 non-null.  Suggested by Denis Poitreneaud.

---
 ChangeLog         | 5 +++++
 src/tgba/state.hh | 1 +
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index d7824302f..3f8e4b637 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-08-25  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* src/tgba/state.hh (state_ptr_less_than): Make sure left is
+	non-null.  Suggested by Denis Poitreneaud.
+
 2003-08-23  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* wrap/python/Makefile.am (MAINTAINERCLEANFILES): Add
diff --git a/src/tgba/state.hh b/src/tgba/state.hh
index c989c50e9..9584f94de 100644
--- a/src/tgba/state.hh
+++ b/src/tgba/state.hh
@@ -46,6 +46,7 @@ namespace spot
     bool
     operator()(const state* left, const state* right) const
     {
+      assert(left);
       return left->compare(right) < 0;
     }
   };