From 53f8f29a9ef43f3528a2ccb7f7fb31c515599518 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 26 May 2003 14:17:04 +0000 Subject: [PATCH] * src/tgba/tgbabddtranslatefactory.cc (tgba_bdd_translate_factory::compute_pairs): Be quiet. --- ChangeLog | 3 +++ src/tgba/tgbabddtranslatefactory.cc | 2 -- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 4ce1c8f9f..7d4b8e556 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2003-05-26 Alexandre Duret-Lutz + * src/tgba/tgbabddtranslatefactory.cc + (tgba_bdd_translate_factory::compute_pairs): Be quiet. + * src/Makefile.am (SUBDIRS): Add tgbaalgos. (libspot_la_LIBADD): Add tgba/libtgbaalgos. * src/tgbaalgos/Makefile.am: New file. diff --git a/src/tgba/tgbabddtranslatefactory.cc b/src/tgba/tgbabddtranslatefactory.cc index ba4e7862f..7f7b3b0fe 100644 --- a/src/tgba/tgbabddtranslatefactory.cc +++ b/src/tgba/tgbabddtranslatefactory.cc @@ -35,8 +35,6 @@ namespace spot tgba_bdd_dict::fv_map::const_iterator i_from; tgba_bdd_dict::fv_map::const_iterator i_to; - from.dump(std::cerr); - for (i_from = from.now_map.begin(); i_from != from.now_map.end(); ++i_from) { i_to = dict_.now_map.find(i_from->first);