diff --git a/include/os.h b/include/os.h
index ab7e042eb3..74e7e09168 100644
--- a/include/os.h
+++ b/include/os.h
@@ -141,7 +141,7 @@ extern _X_EXPORT void GiveUp(int /*sig */ );
  * enough memory.
  */
 extern _X_EXPORT void *
-XNFalloc(unsigned long /*amount */ ) __attribute__((returns_nonnull));;
+XNFalloc(unsigned long /*amount */ ) __attribute__((returns_nonnull));
 
 /*
  * This function calloc(3)s buffer, terminating the server if there is not
@@ -155,7 +155,7 @@ XNFcalloc(unsigned long /*amount */ ) _X_DEPRECATED;
  * enough memory or the arguments overflow when multiplied
  */
 extern _X_EXPORT void *
-XNFcallocarray(size_t nmemb, size_t size) __attribute__((returns_nonnull));;
+XNFcallocarray(size_t nmemb, size_t size) __attribute__((returns_nonnull));
 
 /*
  * This function realloc(3)s passed buffer, terminating the server if there is