From 871f421b5e31f11a2ea0d0e89ab60030f1651a97 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 10 Jul 2003 12:46:39 +0000 Subject: [PATCH] spacing --- lbtt/ChangeLog | 2 +- src/tgba/succiterconcrete.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lbtt/ChangeLog b/lbtt/ChangeLog index 182d71ea0..1e9fb4775 100644 --- a/lbtt/ChangeLog +++ b/lbtt/ChangeLog @@ -4,7 +4,7 @@ * src/SpotWrapper.hh (SpotWrapper::SPOT_XOR): Declare. * src/SpotWrapper.cc (SpotWrapper::SPOT_XOR): Define. (SpotWrapper::translateFormula): Use SPOT_XOR. - + 2003-07-09 Alexandre Duret-Lutz I want $? = 1 whenever some test fails. diff --git a/src/tgba/succiterconcrete.cc b/src/tgba/succiterconcrete.cc index ccd8c9c49..8dedbadb6 100644 --- a/src/tgba/succiterconcrete.cc +++ b/src/tgba/succiterconcrete.cc @@ -114,7 +114,7 @@ namespace spot // are also in other accepting sets. bdd fout = bdd_relprod(as, !current_acc_, data_.acc_set); bdd as_fout = as & !fout; - // Then, pick the remaining term that are exactly in all + // Then, pick the remaining term that are exactly in all // required accepting sets. bdd all = bddtrue; bdd acc = current_acc_;