Module: ppl/ppl Branch: master Commit: 0ec850342436eb232eedec639fe8250b573a5bef URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec850342436e...
Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Mar 22 10:19:29 2010 +0000
Revised to allow for for expected logic_error.
---
interfaces/Prolog/tests/pl_check.pl | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl index 22b08d3..409966a 100644 --- a/interfaces/Prolog/tests/pl_check.pl +++ b/interfaces/Prolog/tests/pl_check.pl @@ -2787,7 +2787,8 @@ must_catch(Call, prolog_exception_error) :- must_catch(Call, cpp_error) :- !, catch( Call, Message, format_exception_message( cpp_error(Message) ) ), - ( ( + var(Message), name(Message, [80,80,76,58,58|_] ) ) -> + ( ( + var(Message), + functor(Message, ppl_logic_error, _) ) -> true ; fail