diff --git a/spot/twacube/twacube.hh b/spot/twacube/twacube.hh index 3f2290d9e..4c3d31d68 100644 --- a/spot/twacube/twacube.hh +++ b/spot/twacube/twacube.hh @@ -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;