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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Thu Jun 25 14:12:37 2020 +0200

Dependencies fixed.

---

interfaces/Prolog/Ciao/ciao_pl_check.pl | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/interfaces/Prolog/Ciao/ciao_pl_check.pl b/interfaces/Prolog/Ciao/ciao_pl_check.pl index b28350c..afbc80b 100644 --- a/interfaces/Prolog/Ciao/ciao_pl_check.pl +++ b/interfaces/Prolog/Ciao/ciao_pl_check.pl @@ -22,10 +22,10 @@ For the most up-to-date information see the Parma Polyhedra Library site: http://bugseng.com/products/ppl/ . */

:- module(_, [main/0], []). -:- use_module(library(debugger)). -:- use_module(library(dynamic)). +:- use_package(dynamic). :- use_module(library(lists)). -:- use_module(library(prolog_sys)). +:- use_module(engine(runtime_control)). +:- use_module(library(streams)). :- use_module(library(read)). :- use_module(library(write)). :- use_module(ppl_ciao, [