diff --git a/ChangeLog b/ChangeLog index 894ccf01a..89db9b52b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2010-11-30 Alexandre Duret-Lutz + + * src/ltlvisit/randomltl.cc (random_ltl::update_sums): Typo in string. + 2010-11-30 Alexandre Duret-Lutz Remove a quadratic behavior in eventual_universal_visitor. diff --git a/src/ltlvisit/randomltl.cc b/src/ltlvisit/randomltl.cc index 970a2e119..5edfd34b3 100644 --- a/src/ltlvisit/randomltl.cc +++ b/src/ltlvisit/randomltl.cc @@ -152,7 +152,7 @@ namespace spot else if (proba_[i].min_n > 2) total_2_and_more_ += proba_[i].proba; else - assert(!"un expected max_n"); + assert(!"unexpected max_n"); } total_2_and_more_ += total_2_; assert(total_1_ != 0.0);