From 748dee64ae5e8464eca505f83bb9804a6128444b Mon Sep 17 00:00:00 2001
From: Arthur Baars <aibaars@github.com>
Date: Fri, 30 Oct 2020 17:50:25 +0100
Subject: [PATCH] Escape label keys

---
 extractor/src/extractor.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/extractor/src/extractor.rs b/extractor/src/extractor.rs
index cc91e8d7a2d..70c248ab073 100644
--- a/extractor/src/extractor.rs
+++ b/extractor/src/extractor.rs
@@ -533,7 +533,9 @@ impl fmt::Display for TrapEntry {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
         match self {
             TrapEntry::FreshId(label) => write!(f, "{} = *", label),
-            TrapEntry::MapLabelToKey(label, key) => write!(f, "{} = @\"{}\"", label, key),
+            TrapEntry::MapLabelToKey(label, key) => {
+                write!(f, "{} = @\"{}\"", label, key.replace("\"", "\"\""))
+            }
             TrapEntry::GenericTuple(name, args) => {
                 write!(f, "{}(", name)?;
                 for (index, arg) in args.iter().enumerate() {