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

twacube: fix typo

Browse source 
* spot/twacube/twacube.hh: Here.
This commit is contained in:
Etienne Renault 2020-05-26 12:05:04 +02:00
parent c06085a60b
commit 330cd80fed
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twacube/twacube.hh
View file

@ -163,7 +163,7 @@ namespace spot
/// \brief Accessor the cube's manipulator.
const cubeset& get_cubeset() const;
/// \brief Check if all the successors of a state are located contigously
/// \brief Check if all the successors of a state are located contiguously
/// in memory. This is mandatory for swarming techniques.
bool succ_contiguous() const;