fix typo in POEntry.toString

hhu-adam · Feb 28, 2024 · cd22ffc · cd22ffc
1 parent 68d8992
commit cd22ffc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/I18n/PO/ToString.lean b/I18n/PO/ToString.lean
@@ -58,7 +58,7 @@ def toString (e : POEntry) : String := Id.run do
   let msgId := "\"" ++ ("\\n\"\n\"".intercalate <| e.msgId.split (· == '\n')) ++ "\""
   let msgStr := "\"" ++ ("\\n\"\n\"".intercalate <| e.msgStr.split (· == '\n')) ++ "\""
   out := out.append <| "\nmsgid " ++ msgId
-  out := out.append <| "\nmsgstr \"" ++ msgStr
+  out := out.append <| "\nmsgstr " ++ msgStr
   return out.trim
 
 instance : ToString POEntry := ⟨POEntry.toString⟩