Remove unused line

egraphs-good · Oct 28, 2024 · b7ff562 · b7ff562
1 parent a99bb3d
commit b7ff562
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ast/parse.rs b/src/ast/parse.rs
@@ -857,7 +857,6 @@ fn string(ctx: &Context) -> Res<String> {
 
     let s = span.string();
     let s = &s[1..s.len() - 1];
-    // s.replace("\"\"", "\""); // TODO: remove if not needed
     Ok((s.to_string(), span, next))
 }