A const-correctness fix from Diego.
[external/ragel.git] / INSTALL