Print_term/2 operators option not consistent with write_options ignore_ops option

Help! Data Structure
1

Hi

The doc for print_term/2 says:

operators (+Boolean)
This is the inverse of the write_term/3 option ignore_ops.

but the operators(false) behaves differently to write_options([ignore_ops(true)]):

?- print_term([div(1/3,7/6)],[operators(false)]).
[1/3 div (7/6)]  <<< This seems wrong

?- print_term([div(1/3, 7/6)],[write_options([ignore_ops(true)])]).
[div(/(1,3),/(7,6))]  <<< As expected
2

Thanks. The operators(Ops) and ignore_ops(IgnOps) in write_options must be consistent as print_term/2 uses the first for the high level stuff and small terms are handled by the second. Implemented forced consistency, deprecated the operators(Ops) option and use the write_options when given.