From d04e7c2b00f39ffdecaef26a2a311debd34b08ec Mon Sep 17 00:00:00 2001
From: Yann Hamdaoui <yann.hamdaoui@tweag.io>
Date: Fri, 9 Feb 2024 12:08:44 +0100
Subject: [PATCH] Remove useless TODO: tests will catch this

---
 core/src/pretty.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/core/src/pretty.rs b/core/src/pretty.rs
index e4ae944334..ef8fe3e219 100644
--- 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,
             ")"