[PPL-devel] [GIT] ppl/ppl(master): Revised to allow for for expected logic_error.

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: 0ec850342436eb232eedec639fe8250b573a5bef
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec850342436eb232eedec639fe8250b573a5bef

Author: Patricia Hill <p.m.hill at 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