From 7c464246f27e9409be0ff31159718e36bd533f00 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 24 Oct 2012 10:16:19 +0200 Subject: [PATCH] * src/tgbaalgos/ltl2tgba_fm.cc: Typo in comment. --- src/tgbaalgos/ltl2tgba_fm.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tgbaalgos/ltl2tgba_fm.cc b/src/tgbaalgos/ltl2tgba_fm.cc index dd42f498a..c705cec82 100644 --- a/src/tgbaalgos/ltl2tgba_fm.cc +++ b/src/tgbaalgos/ltl2tgba_fm.cc @@ -1491,7 +1491,7 @@ namespace spot } case binop::W: { - // r(f1 W f2) = r(f2) + r(f1)X(f1 U f2) if not recurring + // r(f1 W f2) = r(f2) + r(f1)X(f1 W f2) if not recurring // r(f1 W f2) = r(f2) + r(f1) if recurring // // also f1 W 0 = G(f1), so we can enable recurring on f1