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 e2a9f61f7..dc6519e45 100644 --- a/Src/params.c +++ b/Src/params.c @@ -763,7 +763,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; |