diff src/input.cc @ 1604:583476712438

[project @ 1995-11-02 10:30:06 by jwe]
author jwe
date Thu, 02 Nov 1995 10:32:51 +0000
parents 57907c5b9212
children 2d0541468991
line wrap: on
line diff
--- a/src/input.cc
+++ b/src/input.cc
@@ -613,7 +613,7 @@
 // warning if the file doesn't exist.
 
 FILE *
-get_input_from_file (char *name, int warn)
+get_input_from_file (const char *name, int warn)
 {
   FILE *instream = 0;