corrected bug: call_solver was not exported

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2131 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
rzf 2008-03-08 15:38:24 +00:00
parent 2237f94e06
commit 186d4e0687

View File

@ -5,7 +5,8 @@
set_clpbn_flag/2,
clpbn_flag/3,
clpbn_key/2,
clpbn_marginalise/2]).
clpbn_marginalise/2,
call_solver/2]).
:- use_module(library(atts)).
:- use_module(library(lists)).