PPL-devel

Download

ppl-devel@bugseng.com

February 2014

1 participants
1 discussions

[GIT] ppl/ppl(master): Get rid of a_nil.
by Abramo Bagnara 26 Feb '14

26 Feb '14

Module: ppl/ppl Branch: master Commit: 9aa6d7e65c929efab0df5e5b52d2b916ff21fdae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9aa6d7e65c92… Author: Abramo Bagnara <abramo.bagnara(a)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;

1 0