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;