DOC: check_predictate_options/0 documentation was included wrongly.
DOC: check_predictate_options/0 documentation was included wrongly.

koryonik/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,edechter/swipl-devel