diff --git a/examples/custom-stopping-criterion/doc/kind b/examples/custom-stopping-criterion/doc/kind index 580c1c68579..68e23b3282d 100644 --- a/examples/custom-stopping-criterion/doc/kind +++ b/examples/custom-stopping-criterion/doc/kind @@ -1 +1 @@ -stopping-criteria +stopping-criteria