[PPL-devel] [GIT] ppl/ppl(devel): Adapted to recent versions of Ciao.

[Roberto Bagnara]

Module: ppl/ppl
Branch: devel
Commit: c06aa5000b307aa7a70f6f5995e569feb8edf148
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c06aa5000b307aa7a70f6f5995e569feb8edf148

Author: Roberto Bagnara <roberto.bagnara at 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,