Module: ppl/ppl Branch: devel Commit: c06aa5000b307aa7a70f6f5995e569feb8edf148 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c06aa5000b307...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Thu Jun 25 15:41:40 2020 +0200
Adapted to recent versions of Ciao.
---
.../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 b/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 index 0e3756e..c0c4146 100644 --- a/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 +++ b/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 @@ -32,11 +32,12 @@ m4_divert`'dnl m4_include(`ppl_interface_generator_copyright')dnl */
-:- module(ppl_ciao, +:- export( [ m4_divert(1) -], -[ +]). + +:- use_package([ assertions, basicmodes, regtypes,