remove unnecessary comment

verus-lang · Oct 7, 2024 · 6c4dcba · 6c4dcba
1 parent 420eda4
commit 6c4dcba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -1315,7 +1315,7 @@ fn to_doc<'a>(
         Rule::path_pat => map_to_doc(ctx, arena, pair),
         Rule::box_pat => map_to_doc(ctx, arena, pair),
         Rule::rest_pat => map_to_doc(ctx, arena, pair),
-        Rule::macro_pat => map_to_doc(ctx, arena, pair), // unsupported(pair),
+        Rule::macro_pat => map_to_doc(ctx, arena, pair),
         Rule::const_block_pat => unsupported(pair),
 
         //************************//