diff --git a/platform.h b/platform.h
index 98c48da40..7fef8c983 100644
--- a/platform.h
+++ b/platform.h
@@ -28,7 +28,7 @@ void platform_setusercontext(struct passwd *);
 void platform_setusercontext_post_groups(struct passwd *);
 char *platform_get_krb5_client(const char *);
 char *platform_krb5_get_principal_name(const char *);
-int platform_locked_account(struct passwd *)
+int platform_locked_account(struct passwd *);
 int platform_sys_dir_uid(uid_t);
 void platform_disable_tracing(int);