diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

doc should say to load gecode as a library module

Browse Source
This commit is contained in:
Denys Duchier 2011-09-02 20:00:55 +02:00
parent 7109143fd9
commit 0e49f6cf3b
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/gecode/DOC.txt
View File

@ -1,10 +1,8 @@
USING THE GECODE MODULE USING THE GECODE MODULE
======================= =======================
:- use_module(gecode).
or
:- use_module(library(gecode)). :- use_module(library(gecode)).
if it is installed as a library module
CREATING A SPACE CREATING A SPACE
================ ================