From e9690727a0b1eb09106d7364b52a8721d40244db Mon Sep 17 00:00:00 2001
From: Christoph Heinrich <christoph.heinrich@student.tugraz.at>
Date: Sat, 30 Sep 2023 16:57:04 +0200
Subject: [PATCH] DOCS/lua: remove superfluous parameter

This seems to have been a leftover from copying the entry below it.
---
 DOCS/man/lua.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DOCS/man/lua.rst b/DOCS/man/lua.rst
index 005ca631f31d3..494e95fcd8c82 100644
--- a/DOCS/man/lua.rst
+++ b/DOCS/man/lua.rst
@@ -199,7 +199,7 @@ The ``mp`` module is preloaded, although it can be loaded manually with
     Whether this works and how long it takes depends on the command and the
     situation. The abort call itself is asynchronous. Does not return anything.
 
-``mp.del_property(name [,def])``
+``mp.del_property(name)``
     Delete the given property. See ``mp.get_property`` and `Properties`_ for more
     information about properties. Most properties cannot be deleted.