From f5503090b1e961e974ea490d67602307356cd167 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 30 Nov 2010 23:14:32 +0100
Subject: [PATCH] * src/ltlvisit/randomltl.cc (random_ltl::update_sums): Typo
 in string.

---
 ChangeLog                 | 4 ++++
 src/ltlvisit/randomltl.cc | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 894ccf01a..89db9b52b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+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.
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);