From 0e4e2a79b26bcda4bd050d25623bce884b9ee21b Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 20 Feb 2011 17:40:55 +0100
Subject: [PATCH] Cosmetic change to please sanity checks.

* src/ltlvisit/randomltl.cc (random_formula::update_sums): Remove
duplicate semicolon.
---
 src/ltlvisit/randomltl.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ltlvisit/randomltl.cc b/src/ltlvisit/randomltl.cc
index 259e67fa5..360dc25c7 100644
--- a/src/ltlvisit/randomltl.cc
+++ b/src/ltlvisit/randomltl.cc
@@ -177,7 +177,7 @@ namespace spot
 	    {
 	      total_1_ += proba_[i].proba;
 	      if (proba_ + i >= proba_2_)
-		total_2_ += proba_[i].proba;;
+		total_2_ += proba_[i].proba;
 	      if (proba_ + i >= proba_2_or_more_)
 		total_2_and_more_ += proba_[i].proba;
 	    }