Attached is a patch fixing support for the alternate keyword spelling __contract_assert, which just iced before. Diagnostics that naemd the token used were updated to use the token instead of a hardcoded string "contract_assert".
Full dg.exp test suite run, x86_64-pc-linux-gnu.
0001-c-contracts-fix-handling-of-__contract_assert-PR1272.patch
Description: Binary data
