config file typo

diff --git a/src/files.c b/src/files.c
index 646737dabb13244b0a42262215e4889728694cb7..96d602fc12567b542c164526cbee167125ce23bf 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -1918,7 +1918,7 @@ int src;
     /* fall through to standard names */
 
 #if defined(MICRO) || defined(MAC) || defined(__BEOS__) || defined(WIN32)
-    set_configfile_name(fqname(default_configfile, CONFIGPREFIX, 0)):
+    set_configfile_name(fqname(default_configfile, CONFIGPREFIX, 0));
     if ((fp = fopenp(configfile, "r")) != (FILE *) 0) {
         return fp;
     } else if (strcmp(default_configfile, configfile)) {