[PPL-devel] [GIT] ppl/ppl(master): Fixed check_nil_terminating().

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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);
 }