diff --git a/docs/manual/index.html b/docs/manual/index.html index 23efff326b..a8e6647637 100755 --- a/docs/manual/index.html +++ b/docs/manual/index.html @@ -2257,7 +2257,7 @@

Parameters

faithfulnessAssumed, maxDegree tDepth - turning +