Avoid dependency on private pp/1

Data2Semantics · Jan 17, 2014 · 8452904 · 8452904
1 parent 420a33d
commit 8452904
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/formula.pl b/formula.pl
@@ -15,6 +15,7 @@
 :- use_module(library(lists)).
 :- use_module(library(ordsets)).
 :- use_module(library(thread)).
+:- use_module(library(trace/pprint)).
 :- use_module(ods_table).
 :- use_module(datasource).
 
@@ -159,7 +160,7 @@
 	(   ds_formula(H, FL0, FL1)
 	->  true
 	;   gtrace,
-	    pp(H),
+	    print_term(H, []),
 	    ds_formula(H, FL0, FL1)
 	),
 	ds_formulas(T, FL1, FL).

diff --git a/table.pl b/table.pl
@@ -22,6 +22,7 @@
 :- use_module(library(error)).
 :- use_module(library(clpfd), except([transpose/2])).
 :- use_module(library(ugraphs)).
+:- use_module(library(trace/pprint)).
 
 :- meta_predicate
 	tables(:, ?, -),
@@ -117,7 +118,7 @@
 		Intersections),
 	(   Intersections == []
 	->  Blocks = Blocks0
-	;   pp(Intersections)
+	;   print_term(Intersections, [])
 	).
 
 %%	block_intersection(+Blocks:list, -Intersection) is nondet.