Revert "remove redundant suppression of warning."

kfriedberger · kfriedberger · commit 0776041719bb · 2024-11-09T14:56:27.000+01:00
This reverts commit e63f1e8.
diff --git a/src/org/sosy_lab/java_smt/solvers/z3/Z3AbstractProver.java b/src/org/sosy_lab/java_smt/solvers/z3/Z3AbstractProver.java
@@ -102,6 +102,7 @@ protected void logSolverStack() throws SolverException {
     }
   }
 
+  @SuppressWarnings("resource")
   @Override
   public Model getModel() throws InterruptedException {
     Preconditions.checkState(!closed);

Original file line number	Diff line number	Diff line change
`@@ -102,6 +102,7 @@ protected void logSolverStack() throws SolverException {`
`102`	`102`	`}`
`103`	`103`	`}`
`104`	`104`
	`105`	`+ @SuppressWarnings("resource")`
`105`	`106`	`@Override`
`106`	`107`	`public Model getModel() throws InterruptedException {`
`107`	`108`	`Preconditions.checkState(!closed);`