Small workaround for CompCert compatibility.
authorThomas Pornin <pornin@bolet.org>
Thu, 24 Jan 2019 21:07:19 +0000 (22:07 +0100)
committerThomas Pornin <pornin@bolet.org>
Thu, 24 Jan 2019 21:07:19 +0000 (22:07 +0100)
commitc1bb5356bb52984178c269886b6835b532ef30c2
tree7ccf4d9df79069f1c2cbe57968844cbaaf14471f
parent87a796dd69fcdbd1c0dd7594f3ddb16c90abee5e
Small workaround for CompCert compatibility.
test/test_crypto.c