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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 11 08:13:40 2013 +0100

Fixed check_nil_terminating().

---

interfaces/Prolog/ppl_prolog_common.cc | 8 ++------ 1 files changed, 2 insertions(+), 6 deletions(-)

diff --git a/interfaces/Prolog/ppl_prolog_common.cc b/interfaces/Prolog/ppl_prolog_common.cc index c45d9a5..93e340d 100644 --- a/interfaces/Prolog/ppl_prolog_common.cc +++ b/interfaces/Prolog/ppl_prolog_common.cc @@ -1538,12 +1538,8 @@ bool Prolog_interface_initialized = false;

void check_nil_terminating(Prolog_term_ref t, const char* where) { - if (Prolog_is_atom(t)) { - Prolog_atom a; - Prolog_get_atom_name(t, &a); - if (Prolog_get_nil(a)) - return; - } + if (Prolog_get_nil(t)) + return; throw not_a_nil_terminated_list(t, where); }