From c0090dec975cd30303060f172ec1da28782e53ad Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sun, 15 Dec 2024 12:40:47 -0800
Subject: [PATCH] fix: Quote string literal in sexp

---
 Pantograph/Delate.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pantograph/Delate.lean b/Pantograph/Delate.lean
index 4b3bd51..582b783 100644
--- a/Pantograph/Delate.lean
+++ b/Pantograph/Delate.lean
@@ -369,7 +369,7 @@ partial def serializeExpressionSexp (expr: Expr) (sanitize: Bool := true): MetaM
       -- is wrapped in a :lit sexp.
       let v' := match v with
         | .natVal val => toString val
-        | .strVal val => s!"\"{val}\""
+        | .strVal val => IR.EmitC.quoteString val
       pure s!"(:lit {v'})"
     | .mdata _ inner =>
       -- NOTE: Equivalent to expr itself, but mdata influences the prettyprinter