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

* src/tgba/tgbaexplicit.hh: Fix definition of the new alias_ map.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-10-03 09:30:04 +02:00
parent fb38fe56aa
commit 561b852106
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgba/tgbaexplicit.hh
View file

@ -263,7 +263,7 @@ namespace spot
typedef State state;
protected:
typedef Sgi::hash_map<label_t, State, label_hash_t> ls_map;
typedef Sgi::hash_map<label_t, State*> alias_map;
typedef Sgi::hash_map<label_t, State*, label_hash_t> alias_map;
typedef Sgi::hash_map<const State*, label_t, ptr_hash<State> > sl_map;
public: