Try to fix LTO issue by adding virtual destructor

7 years ago · 3beff87636
1 changed files with 10 additions and 7 deletions
--- a/src/storm/solver/TopologicalMinMaxLinearEquationSolver.h
+++ b/src/storm/solver/TopologicalMinMaxLinearEquationSolver.h
@ -18,6 +18,9 @@ namespace storm {
            TopologicalMinMaxLinearEquationSolver(storm::storage::SparseMatrix<ValueType> const& A);
            TopologicalMinMaxLinearEquationSolver(storm::storage::SparseMatrix<ValueType>&& A);

+            virtual ~TopologicalMinMaxLinearEquationSolver() {
+            }
+
            virtual void clearCache() const override;

            virtual MinMaxLinearEquationSolverRequirements getRequirements(Environment const& env, boost::optional<storm::solver::OptimizationDirection> const& direction = boost::none, bool const& hasInitialScheduler = false) const override ;