Remove unused line

egraphs-good · Oct 23, 2024 · 03aa96c · 03aa96c
1 parent 698195f
commit 03aa96c
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))
 }