diff --git a/doc/9-object-types.md b/doc/9-object-types.md index 98e00c556..53fdada97 100644 --- a/doc/9-object-types.md +++ b/doc/9-object-types.md @@ -199,7 +199,9 @@ Example: library "checker" - object CheckerComponent "checker" { } + object CheckerComponent "checker" { + concurrent_checks = 512 + } Configuration Attributes: