CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2008-09-02 17:09:35 Modified files: interfaces/Prolog: ppl_prolog_common.cc ppl_prolog_common.defs.hh Log message: Fixed the declaration of `prolog_interface_atoms'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_c...