diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in index 9c3c2e83138b3efc509d58e39943e88b88449b03..49a2c09636b4361def639f70e8f630fe6f2d8b26 100644 --- a/docs/formatdomain.html.in +++ b/docs/formatdomain.html.in @@ -746,7 +746,7 @@ <timer name="rtc" tickpolicy="catchup" track="guest"> <catchup threshold=123 slew=120 limit=10000/> </timer> - <timer name="pit" tickpolicy="none"/> + <timer name="pit" tickpolicy="delay"/> </clock> ...