diff options
| -rw-r--r-- | docs/LanguageExtensions.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/LanguageExtensions.html b/docs/LanguageExtensions.html index 879089ed6c..ef6b0da9ff 100644 --- a/docs/LanguageExtensions.html +++ b/docs/LanguageExtensions.html @@ -151,7 +151,7 @@ can be used like this:</p> #endif ... -#if __has_attribute(override) || \ +#if __has_attribute(override) #define OVERRIDE __attribute__((override)) #else #define OVERRIDE |