From 0e49f6cf3bdfacdfcba195f7b76a4b0d7d0075dd Mon Sep 17 00:00:00 2001
From: Denys Duchier <denys.duchier@univ-orleans.fr>
Date: Fri, 2 Sep 2011 20:00:55 +0200
Subject: [PATCH] doc should say to load gecode as a library module

---
 library/gecode/DOC.txt | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/library/gecode/DOC.txt b/library/gecode/DOC.txt
index 3ca6d3888..24d2049ce 100644
--- a/library/gecode/DOC.txt
+++ b/library/gecode/DOC.txt
@@ -1,10 +1,8 @@
 USING THE GECODE MODULE
 =======================
 
-:- use_module(gecode).
-or
 :- use_module(library(gecode)).
-if it is installed as a library module
+
 
 CREATING A SPACE
 ================