diff options
Diffstat (limited to 'Src/params.c')
-rw-r--r-- | Src/params.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Src/params.c b/Src/params.c index 5a5283df9..0760146fe 100644 --- a/Src/params.c +++ b/Src/params.c @@ -777,7 +777,7 @@ copyparam(Param tpm, Param pm, int toplevel) /* Return 1 if the string s is a valid identifier, else return 0. */ /**/ -int +mod_export int isident(char *s) { char *ss; |