From 37ef3feebb69cda0d1a757e175a024a6b36494ad Mon Sep 17 00:00:00 2001 From: David_Korzeniewski Date: Thu, 15 May 2014 18:29:33 +0200 Subject: [PATCH] Fixed return type of addBinaryVariable Former-commit-id: 44fc99b9a31fad19d4a7015fe74cf5da4c6f2226 --- 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."; }