fix: there is no cast.
@@ -40,7 +40,6 @@ public class Interpolation {
// setup context
try (SolverContext context =
SolverContextFactory.createSolverContext(config, logger, notifier, solver);
- @SuppressWarnings("cast") // ugly cast, we really should think about this method.
InterpolatingProverEnvironment<?> prover =
context.newProverEnvironmentWithInterpolation()) {
