string conversion bug fixed

This commit is contained in:
Joachim Stolberg
2018-08-29 12:43:21 +02:00
committed by GitHub
parent 7bdd7fcf3f
commit 9e439473cb

View File

@ -28,6 +28,7 @@ end
-- '#' is used as placeholder for rule numbers and has to be escaped
function smartline.escape(s)
s = tostring(s)
return s:gsub("#", '"..string.char(35).."')
end