[PPL-devel] [GIT] ppl/ppl(master): Get rid of a_nil.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at bugseng.com>
Date:   Wed Feb 26 17:51:57 2014 +0100

Get rid of a_nil.

---

 interfaces/Prolog/ppl_prolog_common.cc      |    5 -----
 interfaces/Prolog/ppl_prolog_common_defs.hh |    3 ---
 2 files changed, 0 insertions(+), 8 deletions(-)

diff --git a/interfaces/Prolog/ppl_prolog_common.cc b/interfaces/Prolog/ppl_prolog_common.cc
index 673156a..0bcc94a 100644
--- a/interfaces/Prolog/ppl_prolog_common.cc
+++ b/interfaces/Prolog/ppl_prolog_common.cc
@@ -57,9 +57,6 @@ Allocation_Tracker allocation_tracker;
 // For the out-of-memory exception.
 Prolog_atom out_of_memory_exception_atom;
 
-// For Prolog lists.
-Prolog_atom a_nil;
-
 // For variables.
 Prolog_atom a_dollar_VAR;
 
@@ -193,8 +190,6 @@ Prolog_atom a_found;
 Prolog_atom a_where;
 
 const Prolog_Interface_Atom prolog_interface_atoms[] = {
-  { &a_nil,                      "[]" },
-
   { &a_dollar_VAR,               "$VAR" },
 
   { &a_plus,                     "+" },
diff --git a/interfaces/Prolog/ppl_prolog_common_defs.hh b/interfaces/Prolog/ppl_prolog_common_defs.hh
index d431a3d..cf0f287 100644
--- a/interfaces/Prolog/ppl_prolog_common_defs.hh
+++ b/interfaces/Prolog/ppl_prolog_common_defs.hh
@@ -324,9 +324,6 @@ public:
   }
 };
 
-// For Prolog lists.
-extern Prolog_atom a_nil;
-
 // For variables.
 extern Prolog_atom a_dollar_VAR;