From ab88708f9a7fa50387d1fc07d616c403521c44c8 Mon Sep 17 00:00:00 2001
From: Dmitriy Trubenkov <403rus@gmail.com>
Date: Sat, 25 Jul 2015 20:22:15 +0300
Subject: [PATCH] Remove extra semicolons in C++ headers. Useful for projects
 builded with -Wpedantic

---
 src/api/c++/z3++.h      | 2 +-
 src/api/z3_algebraic.h  | 2 +-
 src/api/z3_api.h        | 2 +-
 src/api/z3_fpa.h        | 2 +-
 src/api/z3_interp.h     | 2 +-
 src/api/z3_polynomial.h | 2 +-
 src/api/z3_rcf.h        | 2 +-
 7 files changed, 7 insertions(+), 7 deletions(-)

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