Access BitvectorType directly in SolverVisitorTest.java

Author: BaierD

src/org/sosy_lab/java_smt/test/SolverVisitorTest.java

@@ -1661,7 +1661,7 @@ public void testQuantifierAndBoundVariablesWithBitvectors() {
     requireVisitor();
 
     int bvLen = 32;
-    BitvectorType bvType = FormulaType.BitvectorType.getBitvectorTypeWithSize(bvLen);
+    BitvectorType bvType = BitvectorType.getBitvectorTypeWithSize(bvLen);
 
     BitvectorFormula four = bvmgr.makeBitvector(bvLen, 4);
     BitvectorFormula var1 = bvmgr.makeVariable(bvType, "var1");