diff --git a/doc/langref.html.in b/doc/langref.html.in index 3d3294e1e5..5dd9ef865f 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -7105,7 +7105,7 @@ coding style.