From 9f127deae6f0c865f0f39eca16643ef06b555d23 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 10 May 2012 10:09:04 +0200
Subject: [PATCH] Fix generation of randome SERE formulae.

* src/ltlvisit/randomltl.cc: Use the correct flavor of And and Or.
Reported by Etienne Renault.
* NEWS: Mention the bug.
---
 NEWS                      | 4 +++-
 src/ltlvisit/randomltl.cc | 4 ++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/NEWS b/NEWS
index 99e0a6852..871bb9ef7 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,8 @@
 New in spot 0.9a:
 
-  Nothing yet.
+  * Bug fixes:
+    - The random SERE generator was using the wrong operators
+      for "and" and "or", mistaking And/Or with AndRat/OrRat.
 
 New in spot 0.9 (2012-05-09):
 
diff --git a/src/ltlvisit/randomltl.cc b/src/ltlvisit/randomltl.cc
index 367d62d8d..66f321b6e 100644
--- a/src/ltlvisit/randomltl.cc
+++ b/src/ltlvisit/randomltl.cc
@@ -285,9 +285,9 @@ namespace spot
       proba_[1].setup("boolform", 1, boolform_builder);
       proba_[2].setup("star",    2, bunop_unbounded_builder<bunop::Star>);
       proba_[3].setup("star_b",  2, bunop_bounded_builder<bunop::Star>);
-      proba_[4].setup("and",     3, multop_builder<multop::And>);
+      proba_[4].setup("and",     3, multop_builder<multop::AndRat>);
       proba_[5].setup("andNLM",  3, multop_builder<multop::AndNLM>);
-      proba_[6].setup("or",      3, multop_builder<multop::Or>);
+      proba_[6].setup("or",      3, multop_builder<multop::OrRat>);
       proba_[7].setup("concat",  3, multop_builder<multop::Concat>);
       proba_[8].setup("fusion",  3, multop_builder<multop::Fusion>);