diff --git a/check.xml b/check.xml index 9664bc0bd..16380d3f5 100644 --- a/check.xml +++ b/check.xml @@ -52,7 +52,7 @@