The release notes suggest you can use
    -fallow-undecidable-instances
but you really need the -optC prefix:
    -optC-fallow-undecidable-instances

--Jeff

Reply via email to