From 3d278663cd0580ac42c3fef1eb093fd4ee5ada42 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 23 Feb 2009 19:06:46 +0100 Subject: [PATCH] typo --- ChangeLog | 5 +++++ src/tgba/tgbaproduct.cc | 8 ++++---- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 62ce6ebaf..2b2d2c095 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2009-02-23 Alexandre Duret-Lutz + + * src/tgba/tgbaproduct.cc (tgba_succ_iterator_product::first): + Typo in comment. + 2009-02-23 Alexandre Duret-Lutz * src/tgba/tgba.hh: Typos. diff --git a/src/tgba/tgbaproduct.cc b/src/tgba/tgbaproduct.cc index 5977ba605..102ec2aea 100644 --- a/src/tgba/tgbaproduct.cc +++ b/src/tgba/tgbaproduct.cc @@ -1,6 +1,6 @@ -// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2003, 2004, 2006, 2009 Laboratoire d'Informatique de +// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +// Université Pierre et Marie Curie. // // This file is part of Spot, a model checking library. // @@ -123,7 +123,7 @@ namespace spot left_->first(); right_->first(); - // If one of the two successor set is empty initially, we reset + // If one of the two successor sets is empty initially, we reset // right_, so that done() can detect this situation easily. (We // choose to reset right_ because this variable is already used by // done().)