diff --git a/Tests/Succeed/Test198.ML b/Tests/Succeed/Test200.ML
similarity index 100%
rename from Tests/Succeed/Test198.ML
rename to Tests/Succeed/Test200.ML