diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index a5d943e95..47a57d67b 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -1911,7 +1911,7 @@ namespace z3 {
 
     
 
-};
+}
 
 /*@}*/
 /*@}*/
diff --git a/src/api/z3_algebraic.h b/src/api/z3_algebraic.h
index 5e4762551..42a5fc460 100644
--- a/src/api/z3_algebraic.h
+++ b/src/api/z3_algebraic.h
@@ -234,7 +234,7 @@ extern "C" {
     /*@}*/
 
 #ifdef __cplusplus
-};
+}
 #endif // __cplusplus
 
 #endif
diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index a646f93ca..7953200dc 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -8107,7 +8107,7 @@ END_MLAPI_EXCLUDE
 
 #ifndef CAMLIDL
 #ifdef __cplusplus
-};
+}
 #endif // __cplusplus
 #else
 }
diff --git a/src/api/z3_fpa.h b/src/api/z3_fpa.h
index b29534621..ee23c7b5d 100644
--- a/src/api/z3_fpa.h
+++ b/src/api/z3_fpa.h
@@ -935,7 +935,7 @@ extern "C" {
     /*@}*/
 
 #ifdef __cplusplus
-};
+}
 #endif // __cplusplus
 
 #endif
diff --git a/src/api/z3_interp.h b/src/api/z3_interp.h
index d775ff3ba..84df7a874 100644
--- a/src/api/z3_interp.h
+++ b/src/api/z3_interp.h
@@ -287,7 +287,7 @@ extern "C" {
     /*@}*/
 
 #ifdef __cplusplus
-};
+}
 #endif // __cplusplus
 
 #endif
diff --git a/src/api/z3_polynomial.h b/src/api/z3_polynomial.h
index f3e40b3b2..06c492acf 100644
--- a/src/api/z3_polynomial.h
+++ b/src/api/z3_polynomial.h
@@ -55,7 +55,7 @@ extern "C" {
     /*@}*/
 
 #ifdef __cplusplus
-};
+}
 #endif // __cplusplus
 
 #endif
diff --git a/src/api/z3_rcf.h b/src/api/z3_rcf.h
index 10903750f..1736b0eba 100644
--- a/src/api/z3_rcf.h
+++ b/src/api/z3_rcf.h
@@ -208,7 +208,7 @@ extern "C" {
     /*@}*/
 
 #ifdef __cplusplus
-};
+}
 #endif // __cplusplus
 
 #endif