From c03626564a86d7245055198a78ac1d224be1f187 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 3 Nov 2003 10:56:21 +0000 Subject: [PATCH] * iface/gspn/eesrg.cc (tgba_gspn_eesrg_private_::tgba_gspn_eesrg_private_): Show prop_index() argument on error. --- ChangeLog | 4 ++++ iface/gspn/eesrg.cc | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index ce19f40a6..4d49f9aa8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2003-11-03 Alexandre Duret-Lutz + * iface/gspn/eesrg.cc + (tgba_gspn_eesrg_private_::tgba_gspn_eesrg_private_): Show prop_index() + argument on error. + * src/ltlparse/Makefile.am ($(FROM_LTLPARSE_YY_MAIN)): cd into $(srcdir) before running bison, so that bison does not put absolute filenames in generated files. diff --git a/iface/gspn/eesrg.cc b/iface/gspn/eesrg.cc index 43023ed06..7cc53d8b6 100644 --- a/iface/gspn/eesrg.cc +++ b/iface/gspn/eesrg.cc @@ -119,7 +119,7 @@ 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); prop_dict[var] = index;