diff --git a/Eigen/Version b/Eigen/Version index de4a594ad..91936c2e2 100644 --- a/Eigen/Version +++ b/Eigen/Version @@ -7,8 +7,8 @@ #define EIGEN_MAJOR_VERSION 5 #define EIGEN_MINOR_VERSION 0 #define EIGEN_PATCH_VERSION 0 -#define EIGEN_PRERELEASE_VERSION "dev" -#define EIGEN_BUILD_VERSION "master" -#define EIGEN_VERSION_STRING "5.0.0-dev+master" +#define EIGEN_PRERELEASE_VERSION "" +#define EIGEN_BUILD_VERSION "" +#define EIGEN_VERSION_STRING "5.0.0" #endif // EIGEN_VERSION_H