alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Cosmetic change to please sanity checks.

Browse source 
* src/ltlvisit/randomltl.cc (random_formula::update_sums): Remove
duplicate semicolon.
This commit is contained in:
Alexandre Duret-Lutz 2011-02-20 17:40:55 +01:00
parent 6e6b6b1e01
commit 0e4e2a79b2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlvisit/randomltl.cc
View file

@ -177,7 +177,7 @@ namespace spot
{ {
total_1_ += proba_[i].proba; total_1_ += proba_[i].proba;
if (proba_ + i >= proba_2_) if (proba_ + i >= proba_2_)
total_2_ += proba_[i].proba;; total_2_ += proba_[i].proba;
if (proba_ + i >= proba_2_or_more_) if (proba_ + i >= proba_2_or_more_)
total_2_and_more_ += proba_[i].proba; total_2_and_more_ += proba_[i].proba;
} }