From 2a843fab1a0c3390ce25f30f32e51957e86c6ae2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 3 Feb 2006 09:45:13 +0000
Subject: [PATCH] * iface/gspn/ssp.cc (spot): Typo.

---
 ChangeLog         | 4 ++++
 iface/gspn/ssp.cc | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 63fb82594..8a0b305ca 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2006-02-03  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* iface/gspn/ssp.cc (spot): Typo.
+
 2006-02-02  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/gtec/gtec.cc (couvreur99_check_shy::check):
diff --git a/iface/gspn/ssp.cc b/iface/gspn/ssp.cc
index 2fa8e61dc..4eb4fc1cd 100644
--- a/iface/gspn/ssp.cc
+++ b/iface/gspn/ssp.cc
@@ -980,7 +980,7 @@ namespace spot
 	    }
 	}
 
-      state_index_p res;
+      numbered_state_heap::state_index_p res;
       if (i == h.end())
 	{
 	  res.first = 0;