diff --git a/doc/CODING_STYLE.html b/doc/CODING_STYLE.html index 979e4a6a..6d3117de 100644 --- a/doc/CODING_STYLE.html +++ b/doc/CODING_STYLE.html @@ -2933,6 +2933,7 @@ type.