From e394b8e9f63c5ae64c5f304aa91859caedc54afc Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 3 Nov 2003 10:58:48 +0000 Subject: [PATCH] * iface/gspn/gspn.cc (tgba_gspn_eesrg_private_::tgba_gspn_eesrg_private_): Show prop_index() and prop_kind() arguments on error. --- ChangeLog | 4 ++++ iface/gspn/gspn.cc | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 4d49f9aa8..4a4c09a56 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2003-11-03 Alexandre Duret-Lutz + * iface/gspn/gspn.cc + (tgba_gspn_eesrg_private_::tgba_gspn_eesrg_private_): Show prop_index() + and prop_kind() arguments on error. + * iface/gspn/eesrg.cc (tgba_gspn_eesrg_private_::tgba_gspn_eesrg_private_): Show prop_index() argument on error. diff --git a/iface/gspn/gspn.cc b/iface/gspn/gspn.cc index 606610e52..17856f227 100644 --- a/iface/gspn/gspn.cc +++ b/iface/gspn/gspn.cc @@ -100,11 +100,11 @@ namespace spot AtomicProp index; int err = prop_index(i->first.c_str(), &index); if (err) - throw gspn_exeption("prop_index()", err); + throw gspn_exeption("prop_index(" + i->first + ")", err); AtomicPropKind kind; err = prop_kind(index, &kind); if (err) - throw gspn_exeption("prop_kind()", err); + throw gspn_exeption("prop_kind(" + i->first + ")", err); prop_dict[index] = ab_pair(kind, bdd_ithvar(var)); }