rename a file and a structure because another file with the same name exists, except that one is lowercase and the other is uppercase. Case insensitive filesystems don't like that they had the same name before, except for the case.

2025-09-02 02:14:12 +01:00
parent 75916234e6
commit 6d9ad9b13b
4 changed files with 9 additions and 9 deletions
--- a/shf-tests.mlb
+++ b/shf-tests.mlb
@@ -33,8 +33,8 @@ in
  fcore/pipe-cursor.sml
  fcore/text-builder.sml
  fcore/cursor-dfa/make-dfa-loop.sml
-  fcore/cursor-dfa/vi-WORD-dfa.sml
  fcore/cursor-dfa/vi-word-dfa.sml
+  fcore/cursor-dfa/vi-caps-word-dfa.sml
  fcore/cursor-dfa/vi-dlr-dfa.sml
 end
 fcore/cursor.sml