FIXED: toplevel to undo bindings before cutting the goal's choicepoint, such that setup_call_cleanup/3 behaves consistently from the toplevel. Jeff Rose.
FIXED: toplevel to undo bindings before cutting the goal's choicepoint,
such that setup_call_cleanup/3 behaves consistently from the toplevel.
Jeff Rose.

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