remove redundant suppression of warning.

kfriedberger · kfriedberger · commit e63f1e82df6c · 2024-11-09T13:13:32.000+01:00
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,7 +102,6 @@ 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,7 +102,6 @@ protected void logSolverStack() throws SolverException {`
`102`	`102`	`}`
`103`	`103`	`}`
`104`	`104`
`105`		`- @SuppressWarnings("resource")`
`106`	`105`	`@Override`
`107`	`106`	`public Model getModel() throws InterruptedException {`
`108`	`107`	`Preconditions.checkState(!closed);`