From 2558e823a0013929966d3085aefce9c5b7a23283 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 24 Jun 2003 13:59:52 +0000 Subject: [PATCH] typo --- ChangeLog | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6c503c306..23f1e37d3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -9,11 +9,11 @@ 2003-06-23 Alexandre Duret-Lutz - Switch from "promises" to "accepting set". Fix the definitions - of these accepting set so that they are really usable. Provide - a all_accepting_conditions() method for use in the emptyness - check, and a neg_accepting_conditions() for products. - Predeclare TGBA accepting conditions is the i/o. + Switch from "promises" to "accepting sets". Fix the definitions + of these accepting sets so that they are really useful. Provide + an all_accepting_conditions() method for use in the emptyness + check, and a neg_accepting_conditions() for products. Predeclare + TGBA accepting conditions in the i/o. * src/tgba/bddprint.cc (want_prom): Rename as ... (want_prom): ... this.