diff --git a/docs/syntax-type-ascription-2.md b/docs/syntax-type-ascription-bidi.md similarity index 100% rename from docs/syntax-type-ascription-2.md rename to docs/syntax-type-ascription-bidi.md