cleanup, remove default method.
All subclasses already contain better code
that actually causes the documented exception.
@@ -80,9 +80,7 @@ public interface FormulaManager {
*
* @throws UnsupportedOperationException If the theory is not supported by the solver.
*/
- default SLFormulaManager getSLFormulaManager() {
- return null;
- }
+ SLFormulaManager getSLFormulaManager();
/**
* Returns the interface for handling quantifiers.
