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

Author: Abramo Bagnara abramo.bagnara@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;