When I try to use the package in the subject heading I get

{ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:library(use_occurs_check) does not exist}

what should I be using in order to have access to the predicate

unify_with_occurs_check/2

?

Thanks,

�� --JL

I'm using ciao 1.14.2