diff --git a/src/keymgmt.c b/src/keymgmt.c
index 784585d..a79a355 100644
--- a/src/keymgmt.c
+++ b/src/keymgmt.c
@@ -423,6 +423,7 @@ void pcp_exportpublic(char *keyid, char *passwd, char *outfile, int format, int
   }
 
  errpcpexpu1:
+  ;
 }