remove unneeded code.
The same code exists in the super-class.
@@ -38,9 +38,7 @@ import java.util.Set;
import org.sosy_lab.common.Appender;
import org.sosy_lab.common.Appenders;
import org.sosy_lab.java_smt.api.BooleanFormula;
-import org.sosy_lab.java_smt.api.Formula;
import org.sosy_lab.java_smt.api.FormulaType;
-import org.sosy_lab.java_smt.api.visitors.FormulaVisitor;
import org.sosy_lab.java_smt.basicimpl.AbstractFormulaManager;
public class SmtInterpolFormulaManager
@@ -147,11 +145,6 @@ public class SmtInterpolFormulaManager
};
}
- @Override
- public <R> R visit(Formula f, FormulaVisitor<R> rFormulaVisitor) {
- return getFormulaCreator().visit(f, rFormulaVisitor);
- }
-
/** This method returns a 'shared' environment or a complete new environment. */
SmtInterpolEnvironment createEnvironment() {
return getEnvironment();
