Remove unused API filter for RecordPattern

Fixes #1352
eclipse-jdt · Apr 29, 2024 · 40c8584 · 40c8584
1 parent 76a2d01
commit 40c8584
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/org.eclipse.jdt.core.manipulation/.settings/.api_filters b/org.eclipse.jdt.core.manipulation/.settings/.api_filters
@@ -37,13 +37,6 @@
                 <message_argument value="getPattern()"/>
             </message_arguments>
         </filter>
-        <filter id="640712815">
-            <message_arguments>
-                <message_argument value="RecordPattern"/>
-                <message_argument value="ASTFlattener"/>
-                <message_argument value="patterns()"/>
-            </message_arguments>
-        </filter>
         <filter comment="Java preview feature API" id="640712815">
             <message_arguments>
                 <message_argument value="TypePattern"/>