diff --git a/docs/codeql/codeql-cli/extractor-options.rst b/docs/codeql/codeql-cli/extractor-options.rst index f761a8f442c..d0d61e7f117 100644 --- a/docs/codeql/codeql-cli/extractor-options.rst +++ b/docs/codeql/codeql-cli/extractor-options.rst @@ -31,7 +31,7 @@ Each extractor defines its own set of configuration options. To find out which o "description" : "An example array option for the Java extractor", "type" : "array", "pattern" : "[1-9][0-9]*" - } + } } } }