Small workaround for CompCert compatibility.
[BearSSL] / src / int / i32_encode.c
2016-11-02 Thomas PorninInitial import.