Make some of the dependencies in library predicates explicit.

This commit is contained in:
Paulo Moura
2010-09-25 23:34:47 +01:00
parent 889e14b46b
commit 8e4bb51be0
6 changed files with 9 additions and 8 deletions

View File

@@ -211,7 +211,7 @@
variable_elimination_stats/3
]).
:- use_module(library(lists)).
:- use_module(library(lists), [append/3, delete/3, memberchk/2, reverse/2]).
:- use_module(library(tries)).
:- use_module('flags', _, [problog_define_flag/5]).