diff --git a/tools/doc/doxygen_filter.py b/tools/doc/doxygen_filter.py
index 3c7e60097c..e71de19001 100644
--- a/tools/doc/doxygen_filter.py
+++ b/tools/doc/doxygen_filter.py
@@ -97,7 +97,7 @@ class DoxygenFormatter:
             # Replace pipe-delimited parameter names with backtick-delimiters
             (re.compile(r"\|(\w+)\|"), r"`\1`", self.COMMENT),
             # Convert standalone comment lines to Doxygen style.
-            #(re.compile(r"(^\s*)//(?=[^/])"), r"\1///", self.ANYWHERE),
+            # (re.compile(r"(^\s*)//(?=[^/])"), r"\1///", self.ANYWHERE),
             # Strip trailing comments from preprocessor directives.
             (re.compile(r"(^#.*)//.*"), r"\1", self.ANYWHERE),
             # Convert remaining trailing comments to doxygen style, unless they are