From 2c5bae3d37e2d58a359260143e70523c84c56878 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 5 Mar 2011 08:58:40 +0100
Subject: [PATCH] * src/ltltest/genltl.cc (GF_n): Really use "op".

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

diff --git a/ChangeLog b/ChangeLog
index 65565272e..546bfa279 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-03-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/ltltest/genltl.cc (GF_n): Really use "op".
+
 2011-03-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* wrap/python/ajax/spot.in: Use the degeneralized automaton if
diff --git a/src/ltltest/genltl.cc b/src/ltltest/genltl.cc
index 57e943f04..7ba021f88 100644
--- a/src/ltltest/genltl.cc
+++ b/src/ltltest/genltl.cc
@@ -201,7 +201,7 @@ formula* GF_n(std::string name, int n, bool conj = true)
 						 env.require(p.str())));
 
       if (result)
-	result = multop::instance(multop::And, f, result);
+	result = multop::instance(op, f, result);
       else
 	result = f;
     }