w32dm.c
changeset 1301 bf64ba5b6774
parent 1117 1ed343e9a2b0
child 1317 3c90086ff34f
--- a/w32dm.c	Sat Feb 05 16:12:07 2005 +0000
+++ b/w32dm.c	Sat Feb 05 18:05:42 2005 +0000
@@ -32,7 +32,7 @@
 #include "sound.h"
 #include "hal.h"
 
-static char * DMusicMidiStart(char **parm);
+static const char * DMusicMidiStart(const char * const *parm);
 static void DMusicMidiStop(void);
 static void DMusicMidiPlaySong(const char *filename);
 static void DMusicMidiStopSong(void);
@@ -60,7 +60,7 @@
 
 bool seeking = false;
 
-static char * DMusicMidiStart(char **parm)
+static const char * DMusicMidiStart(const char * const *parm)
 {
 	if (InitDirectMusic() == true)
 		return(0);