RoundingMode: Fix checkstyle issue

Author: daniel-raffler

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

@@ -96,7 +96,7 @@ public void floatingPointType() {
   @Test
   public void roundingModeVisitor() {
     FloatingPointFormula variable =
-        fpmgr.makeVariable("a", FloatingPointType.getSinglePrecisionFloatingPointType());
+        fpmgr.makeVariable("a", FormulaType.getSinglePrecisionFloatingPointType());
     FloatingPointFormula original =
         fpmgr.sqrt(variable, FloatingPointRoundingMode.NEAREST_TIES_TO_EVEN);