alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* iface/gspn/ssp.cc (spot): Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2006-02-03 09:45:13 +00:00
parent 236742aed8
commit 2a843fab1a
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -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> 2006-02-02 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/gtec/gtec.cc (couvreur99_check_shy::check): * src/tgbaalgos/gtec/gtec.cc (couvreur99_check_shy::check):

2
iface/gspn/ssp.cc
View file

@ -980,7 +980,7 @@ namespace spot
} }
} }
state_index_p res; numbered_state_heap::state_index_p res;
if (i == h.end()) if (i == h.end())
{ {
res.first = 0; res.first = 0;