From 1f1feb935d0bfbd6e225c3ff787486627d2bfbf6 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 27 Sep 2013 14:38:03 +0200 Subject: [PATCH] * src/tgbaalgos/randomgraph.hh: Two typos, reported by Akim. --- src/tgbaalgos/randomgraph.hh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tgbaalgos/randomgraph.hh b/src/tgbaalgos/randomgraph.hh index c3d83f7e6..a92c2e527 100644 --- a/src/tgbaalgos/randomgraph.hh +++ b/src/tgbaalgos/randomgraph.hh @@ -70,8 +70,8 @@ namespace spot } \endverbatim */ /// - /// Although the intent is similar, there are some differences with - /// between the above published algorithm and this implementation . + /// Although the intent is similar, there are some differences + /// between the above published algorithm and this implementation. /// First labels are on transitions, and acceptance conditions are /// generated too. Second, the number of successors of a node is /// chosen in \f$[1,n]\f$ following a normal distribution with mean