From 1a5b4f00f569a947361f683a7c26d04c18465412 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 10 Apr 2024 21:58:32 +0200 Subject: [PATCH] * spot/twaalgos/split.hh: Typo in comment. --- spot/twaalgos/split.hh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/spot/twaalgos/split.hh b/spot/twaalgos/split.hh index cb66619f1..54599c388 100644 --- a/spot/twaalgos/split.hh +++ b/spot/twaalgos/split.hh @@ -196,7 +196,8 @@ namespace spot /// \brief Separate a label /// /// This returns a pseudo-container that can be used to iterate - /// over the elements of the basis compatible with the current labal. + /// over the elements of the basis compatible with the current + /// label. /// /// For instance if the basis was created from {a,b} (i.e., the /// basis is actually {!a&!b,a&!b,!a&b,a&b}), and the label is