Commit f5503090 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/ltlvisit/randomltl.cc (random_ltl::update_sums): Typo in string.

parent 2a33bd17
2010-11-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/ltlvisit/randomltl.cc (random_ltl::update_sums): Typo in string.
2010-11-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Remove a quadratic behavior in eventual_universal_visitor.
......
......@@ -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);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment