fixed loading of clpr

friguzzi · Dec 10, 2023 · 199ad52 · 199ad52
1 parent ba6b126
commit 199ad52
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prolog/cplint_util.pl b/prolog/cplint_util.pl
@@ -30,7 +30,7 @@
 
 :- use_module(library(lists)).
 :- use_module(library(apply)).
-:- use_module(library(clp/clpr)).
+:- use_module(library(clpr)).
 :- use_module(library(matrix)).
 :- use_module(library(clpfd)).