[PPL-devel] [GIT] ppl/ppl(devel): Dependencies fixed.

[Roberto Bagnara]

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

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