diff --git a/library/gecode/disjunctor1.yap b/library/gecode/disjunctor1.yap
index 170a5fd84..4c8eae91f 100644
--- a/library/gecode/disjunctor1.yap
+++ b/library/gecode/disjunctor1.yap
@@ -16,7 +16,7 @@
 %% along with this program.  If not, see <http://www.gnu.org/licenses/>.
 %%=============================================================================
 
-:- use_module(gecode).
+:- use_module(library(gecode)).
 
 disjunctor1(X_,Y_) :-
 	Space := space,
diff --git a/library/gecode/disjunctor2.yap b/library/gecode/disjunctor2.yap
index cf4fcd6a6..bfbbdc13b 100644
--- a/library/gecode/disjunctor2.yap
+++ b/library/gecode/disjunctor2.yap
@@ -16,7 +16,7 @@
 %% along with this program.  If not, see <http://www.gnu.org/licenses/>.
 %%=============================================================================
 
-:- use_module(gecode).
+:- use_module(library(gecode)).
 
 disjunctor2(X_,Y_) :-
 	Space := space,
diff --git a/library/gecode/send_more_money.yap b/library/gecode/send_more_money.yap
index 7df9db5a9..cf4d298be 100644
--- a/library/gecode/send_more_money.yap
+++ b/library/gecode/send_more_money.yap
@@ -16,7 +16,7 @@
 %% along with this program.  If not, see <http://www.gnu.org/licenses/>.
 %%=============================================================================
 
-:- use_module(gecode).
+:- use_module(library(gecode)).
 
 %   S E N D
 % + M O R E
diff --git a/library/gecode/send_most_money.yap b/library/gecode/send_most_money.yap
index 7dae5afc9..ad37eec96 100644
--- a/library/gecode/send_most_money.yap
+++ b/library/gecode/send_most_money.yap
@@ -16,7 +16,7 @@
 %% along with this program.  If not, see <http://www.gnu.org/licenses/>.
 %%=============================================================================
 
-:- use_module(gecode).
+:- use_module(library(gecode)).
 
 %   S E N D
 % + M O S T