mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Remove extra semicolons in C++ headers. Useful for projects builded with -Wpedantic
This commit is contained in:
parent
fc3e1af4a9
commit
ab88708f9a
|
@ -1911,7 +1911,7 @@ namespace z3 {
|
|||
|
||||
|
||||
|
||||
};
|
||||
}
|
||||
|
||||
/*@}*/
|
||||
/*@}*/
|
||||
|
|
|
@ -234,7 +234,7 @@ extern "C" {
|
|||
/*@}*/
|
||||
|
||||
#ifdef __cplusplus
|
||||
};
|
||||
}
|
||||
#endif // __cplusplus
|
||||
|
||||
#endif
|
||||
|
|
|
@ -8107,7 +8107,7 @@ END_MLAPI_EXCLUDE
|
|||
|
||||
#ifndef CAMLIDL
|
||||
#ifdef __cplusplus
|
||||
};
|
||||
}
|
||||
#endif // __cplusplus
|
||||
#else
|
||||
}
|
||||
|
|
|
@ -935,7 +935,7 @@ extern "C" {
|
|||
/*@}*/
|
||||
|
||||
#ifdef __cplusplus
|
||||
};
|
||||
}
|
||||
#endif // __cplusplus
|
||||
|
||||
#endif
|
||||
|
|
|
@ -287,7 +287,7 @@ extern "C" {
|
|||
/*@}*/
|
||||
|
||||
#ifdef __cplusplus
|
||||
};
|
||||
}
|
||||
#endif // __cplusplus
|
||||
|
||||
#endif
|
||||
|
|
|
@ -55,7 +55,7 @@ extern "C" {
|
|||
/*@}*/
|
||||
|
||||
#ifdef __cplusplus
|
||||
};
|
||||
}
|
||||
#endif // __cplusplus
|
||||
|
||||
#endif
|
||||
|
|
|
@ -208,7 +208,7 @@ extern "C" {
|
|||
/*@}*/
|
||||
|
||||
#ifdef __cplusplus
|
||||
};
|
||||
}
|
||||
#endif // __cplusplus
|
||||
|
||||
#endif
|
||||
|
|
Loading…
Reference in a new issue