Fixed codacy issues

ftsrg · Sep 27, 2021 · 7a9a2b3 · 7a9a2b3
1 parent 8eff98f
commit 7a9a2b3
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/...common/analysis/src/main/java/hu/bme/mit/theta/analysis/stmtoptimizer/StmtSimplifier.java b/...common/analysis/src/main/java/hu/bme/mit/theta/analysis/stmtoptimizer/StmtSimplifier.java
@@ -1,7 +1,6 @@
 package hu.bme.mit.theta.analysis.stmtoptimizer;
 
 import com.google.common.collect.ImmutableList;
-import hu.bme.mit.theta.analysis.expl.StmtApplier;
 import hu.bme.mit.theta.core.decl.Decl;
 import hu.bme.mit.theta.core.decl.VarDecl;
 import hu.bme.mit.theta.core.model.MutableValuation;

diff --git a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/StmtToExprTransformer.java b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/StmtToExprTransformer.java
@@ -29,7 +29,6 @@
 
 import com.google.common.collect.ImmutableList;
 
-import com.google.errorprone.annotations.Var;
 import hu.bme.mit.theta.core.decl.VarDecl;
 import hu.bme.mit.theta.core.stmt.*;
 import hu.bme.mit.theta.core.type.Expr;