From 66d6fa3bb4ab896e1903149251333e24ad8ee02c Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 15 May 2014 17:34:55 +0200 Subject: [PATCH] Fixed wrong type. Former-commit-id: 59e08c3669c6a5f71110830da43966ec1c302e24 --- src/solver/GlpkLpSolver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solver/GlpkLpSolver.h b/src/solver/GlpkLpSolver.h index 0931e1ca5..85a0847af 100644 --- a/src/solver/GlpkLpSolver.h +++ b/src/solver/GlpkLpSolver.h @@ -184,7 +184,7 @@ namespace storm { throw storm::exceptions::NotImplementedException() << "This version of StoRM was compiled without support for glpk. Yet, a method was called that requires this support. Please choose a version of support with glpk 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 glpk. Yet, a method was called that requires this support. Please choose a version of support with glpk support."; }