From a1f990b125eda79f3ed8b5dd1e7a6b6c00273edb Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 9 Jan 2004 16:19:12 +0000 Subject: [PATCH] * src/tgbaalgos/ltl2tgba_lacim.cc: Typo in comment. --- ChangeLog | 5 ++++- src/tgbaalgos/ltl2tgba_lacim.cc | 4 ++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 507f56d4c..def4d0fee 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,7 +1,10 @@ 2004-01-09 Alexandre Duret-Lutz + * src/tgbaalgos/ltl2tgba_lacim.cc: Typo in comment. + * src/tgbaalgos/emptinesscheck.cc (emptiness_check::check): Typos - in comment. + in comments. + * m4/gspnlib.m4 (AX_CHECK_GSPNLIB): Do not warn about a missing library for eesrg. Define the WITH_GSPN_EESRG conditional. diff --git a/src/tgbaalgos/ltl2tgba_lacim.cc b/src/tgbaalgos/ltl2tgba_lacim.cc index 27e07d9b1..f7c4293a4 100644 --- a/src/tgbaalgos/ltl2tgba_lacim.cc +++ b/src/tgbaalgos/ltl2tgba_lacim.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -191,7 +191,7 @@ namespace spot case binop::R: { /* - f1 R f2 <=> f2 & (f1 | X(f1 U f2)) + f1 R f2 <=> f2 & (f1 | X(f1 R f2)) In other words: now <=> f2 & (f1 | next) */