frontend/i18n: escape % in internationalized strings

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

diff --git a/src/frontend/i18n_phase.nit b/src/frontend/i18n_phase.nit
index 45e07e2..22010f6 100644 (file)
--- a/src/frontend/i18n_phase.nit
+++ b/src/frontend/i18n_phase.nit
@@ -146,7 +146,9 @@ redef class ASuperstringExpr
                for i in n_exprs do
                        if i isa AStartStringExpr or i isa AEndStringExpr or i isa AMidStringExpr then
                                assert i isa AStringFormExpr
-                               fmt += i.value.as(not null)
+                               var str = i.value
+                               assert str != null
+                               fmt += str.replace("%", "%%")
                        else
                                fmt += "%"
                                exprs.push i