diff --git a/Code/Mantid/Framework/Kernel/src/ConfigService.cpp b/Code/Mantid/Framework/Kernel/src/ConfigService.cpp index 3182ffe948fae6d997b5282a2754c2e99b77d7af..a2f7912a4f7af084635c712cf6db0055b3121706 100644 --- a/Code/Mantid/Framework/Kernel/src/ConfigService.cpp +++ b/Code/Mantid/Framework/Kernel/src/ConfigService.cpp @@ -1692,7 +1692,6 @@ const std::string extractVersionNumberFromPipe(const Poco::Pipe& pipe) const std::string givenVersion = stringStream.str(); boost::smatch match; boost::regex expression("(\\d+)\\.(\\d+)$"); // Gets the version number part. - double givenVersionNumber; if(boost::regex_search(givenVersion, match, expression)) { versionString = match[0];