From 6cdc396bf0de1aabb3996d3475b4bddc761f3606 Mon Sep 17 00:00:00 2001 From: Nicolas Limage Date: Mon, 3 Oct 2016 15:39:30 +0200 Subject: [PATCH] Docs: Add concurrent_checks example in CheckerComponent object type fixes #13437 Signed-off-by: Michael Friedrich --- doc/9-object-types.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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: -- 2.40.0