# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 831849814 0
# Node ID 069fc3f2c2b4e19cd6f1f1dae6cfca2d2ba0f7ee
# Parent  a800d1a0f07e0f7f854d1e9d956ebb0ad6eab705
(FILE_SYSTEM_CASE): Call Fmsdos_downcase_filename instead of Fdowncase.

diff -r a800d1a0f07e -r 069fc3f2c2b4 src/s/msdos.h
--- a/src/s/msdos.h	Sat May 11 21:23:08 1996 +0000
+++ b/src/s/msdos.h	Sat May 11 21:23:34 1996 +0000
@@ -220,7 +220,7 @@
 
 /* Define this to a function (Fdowncase, Fupcase) if your file system
    likes that */
-#define FILE_SYSTEM_CASE Fdowncase
+#define FILE_SYSTEM_CASE Fmsdos_downcase_filename
 
 /* Define this to be the separator between devices and paths */
 #define DEVICE_SEP ':'