Doc: Remove outdated note about run-time partition pruning

The note is no longer true as of 86dc90056, so remove it.

Author: Amit Langote
Discussion: https://postgr.es/m/CA+HiwqFxQn7Hz1wT+wYgnf_9SK0c4BwOOwFFT8jcSZwJrd8HEA@mail.gmail.com

diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml
index 63bc946c3b6254f61fbecee29493a2dd89124375..498654876fdce1cd33a25770b0f892f64960e278 100644 (file)
--- a/doc/src/sgml/ddl.sgml
+++ b/doc/src/sgml/ddl.sgml
@@ -4678,16 +4678,6 @@ EXPLAIN SELECT count(*) FROM measurement WHERE logdate >= DATE '2008-01-01';
     Partition pruning can be disabled using the
      setting.
    
-
-   
-    
-     Execution-time partition pruning currently only occurs for the
-     Append and MergeAppend node types.
-     It is not yet implemented for the ModifyTable node
-     type, but that is likely to be changed in a future release of
-     PostgreSQL.
-    
-