Re: font-latex-match-warning-make void function.

[Ikumi Keita]

>>>>> Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> At last I managed to figure out the origin and seem to recover the
>> normal behavior. Sorry for your inconvinience.

> Clearly I'm to blame, so thanks for the fix.

Sorry, I should have actually tested before merge. Actually, I think
that the relevant code should be refactored and made easier to
understand.

Regards,
Ikumi Keita