mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-17 01:46:39 +00:00
Code Activity

Use correct SuppressWarning annotation to silence the compiler

Browse source
This commit is contained in:
Thomas Haas 2024-02-17 13:25:04 +01:00
parent 323b70af5c
commit 9fbd790aad
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/java/Z3ReferenceQueue.java
View file

@ -68,7 +68,7 @@ class Z3ReferenceQueue {
* Clean all references stored in {@code referenceList}, * Clean all references stored in {@code referenceList},
* <b>regardless</b> of whether they are in {@code referenceQueue} or not. * <b>regardless</b> of whether they are in {@code referenceQueue} or not.
*/ */
@SuppressWarnings("empty-statement") @SuppressWarnings("StatementWithEmptyBody")
public void forceClear() { public void forceClear() {
// Decrement all reference counters // Decrement all reference counters
Reference<?> cur = referenceList.next; Reference<?> cur = referenceList.next;