Remove useless TODO: tests will catch this

tweag · Feb 9, 2024 · d04e7c2 · d04e7c2
1 parent 99e8c7f
commit d04e7c2
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/core/src/pretty.rs b/core/src/pretty.rs
@@ -590,7 +590,6 @@ where
             allocator,
             "'",
             ident_quoted(&self.tag),
-            //TODO[adts]: replace this with a space once we have a proper syntax
             "..(",
             &*self.pattern,
             ")"