On 27/11/17 01:52 AM, Julia Lawall wrote:> I meant why not only suggest pr_cont?You could. Not much difference though, both are discouraged.Logan