Fixed comment.
[BearSSL] / src / int / i31_add.c
2016-11-02 Thomas PorninInitial import.