From 8e0363241aacef73b01c2dd2642431de9c06cdf6 Mon Sep 17 00:00:00 2001
From: ridgeworks <ridgeworks@mac.com>
Date: Thu, 26 Dec 2024 12:26:05 -0500
Subject: [PATCH] Update config-available for clpBNR v0.12.0

Add clpBNR_toolkit and clpBNR to preload on SWISH (now req'd for sanboxing).
---
 config-available/clpBNR.pl | 2 ++
 1 file changed, 2 insertions(+)

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.