From f657d080edab23cd72ca70833534f92c9963e9aa Mon Sep 17 00:00:00 2001
From: Mathieu Faverge <mathieu.faverge@inria.fr>
Date: Tue, 4 Jul 2023 15:31:35 +0200
Subject: [PATCH] header: fix double semi-column

---
 include/chameleon.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/chameleon.h b/include/chameleon.h
index b6ff6913c..e8246474d 100644
--- a/include/chameleon.h
+++ b/include/chameleon.h
@@ -17,7 +17,7 @@
  * @author Cedric Castagnede
  * @author Florent Pruvost
  * @author Philippe Virouleau
- * @date 2023-07-04
+ * @date 2023-07-05
  *
  */
 #ifndef _chameleon_h_
@@ -168,7 +168,7 @@ int  CHAMELEON_Set     (int param, int  value);
 int  CHAMELEON_Get     (int param, int *value);
 int  CHAMELEON_Set_update_progress_callback(void (*p)(int, int)) ;
 
-static inline void CHAMELEON_user_tag_size(int, int)  __attribute__((deprecated("This function is no longer needed")));;
+static inline void CHAMELEON_user_tag_size(int, int)  __attribute__((deprecated("This function is no longer needed")));
 static inline void CHAMELEON_user_tag_size(int user_tag_width, int user_tag_sep) {
     (void)user_tag_width;
     (void)user_tag_sep;
-- 
GitLab