Format

Author: BaierD

src/org/sosy_lab/java_smt/solvers/cvc4/CVC4FloatingPointFormulaManager.java

@@ -10,7 +10,6 @@
 
 import com.google.common.collect.ImmutableList;
 import edu.stanford.CVC4.BitVector;
-import edu.stanford.CVC4.BitVectorExtract;
 import edu.stanford.CVC4.Expr;
 import edu.stanford.CVC4.ExprManager;
 import edu.stanford.CVC4.FloatingPoint;