contracts: Remove `contract_name` property
[nit.git] / tests / test_explain_assert.nit
2017-09-28 Alexis Laferrièretests: test assert explanation