diff test_crp.pl @ 3:974d7be8eec4 tip

Update to pack-based dcg utilities
author samer
date Tue, 03 Oct 2017 11:52:23 +0100
parents b31415b4a196
children
line wrap: on
line diff
--- a/test_crp.pl	Fri Feb 24 18:08:40 2012 +0000
+++ b/test_crp.pl	Tue Oct 03 11:52:23 2017 +0100
@@ -1,6 +1,6 @@
 :- use_module(library(plrand)).
 :- use_module(library(randbase)).
 :- use_module(library(randpred)).
-:- use_module(library(dcgu)).
-:- use_module(library(dcgshell)).
+:- use_module(library(dcg_core)).
+:- use_module(library(dcg_shell)).
 :- use_module(crp).