From 330cd80fed50bdb28cc837bbadc5650dc7ae4d64 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Tue, 26 May 2020 12:05:04 +0200 Subject: [PATCH] twacube: fix typo * spot/twacube/twacube.hh: Here. --- spot/twacube/twacube.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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;