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,