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