From 7b506a919cd2269f6a33089302acff3522f365a5 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 11 May 2015 19:45:43 +0200 Subject: [PATCH] * src/twaalgos/stats.hh: Typo in comment. --- src/twaalgos/stats.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/twaalgos/stats.hh b/src/twaalgos/stats.hh index bc7912306..ac842e0d7 100644 --- a/src/twaalgos/stats.hh +++ b/src/twaalgos/stats.hh @@ -51,7 +51,7 @@ namespace spot /// \brief Compute statistics for an automaton. SPOT_API tgba_statistics stats_reachable(const const_twa_ptr& g); - /// \brief Compute subended statistics for an automaton. + /// \brief Compute sub statistics for an automaton. SPOT_API tgba_sub_statistics sub_stats_reachable(const const_twa_ptr& g);