diff --git a/config-available/clpBNR.pl b/config-available/clpBNR.pl index 8a2f5c3e..f26b2c92 100644 --- a/config-available/clpBNR.pl +++ b/config-available/clpBNR.pl @@ -1,6 +1,8 @@ :- module(swish_config_clpBNR, []). :- use_module(library(clpBNR)). +:- use_module(library(clpBNR_toolkit)). +:- use_module(library(clpBNR_search)). :- multifile user:file_search_path/2.