From b7ad4398e2e5762a48baf67b1856171eb85c41f9 Mon Sep 17 00:00:00 2001 From: PBerger Date: Thu, 5 Jun 2014 00:28:05 +0200 Subject: [PATCH] Fixed an error in the interface of the LpSolvers. Former-commit-id: 65e415efb29a70f61b90ba9887b7f49636592b6d --- src/solver/GurobiLpSolver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solver/GurobiLpSolver.h b/src/solver/GurobiLpSolver.h index 90bef47eb..f078ef6dd 100644 --- a/src/solver/GurobiLpSolver.h +++ b/src/solver/GurobiLpSolver.h @@ -176,7 +176,7 @@ namespace storm { throw storm::exceptions::NotImplementedException() << "This version of StoRM was compiled without support for Gurobi. Yet, a method was called that requires this support. Please choose a version of support with Gurobi support."; } - virtual uint_fast64_t addBinaryVariable(std::string const& name, double objectiveFunctionCoefficient = 0) override { + virtual void addBinaryVariable(std::string const& name, double objectiveFunctionCoefficient = 0) override { throw storm::exceptions::NotImplementedException() << "This version of StoRM was compiled without support for Gurobi. Yet, a method was called that requires this support. Please choose a version of support with Gurobi support."; }