diff --git a/Eigen/Version b/Eigen/Version index 3e28621d8..9cfd71ff5 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 1 -#define EIGEN_PRERELEASE_VERSION "dev" -#define EIGEN_BUILD_VERSION "5.0" -#define EIGEN_VERSION_STRING "5.0.1-dev+5.0" +#define EIGEN_PRERELEASE_VERSION "" +#define EIGEN_BUILD_VERSION "" +#define EIGEN_VERSION_STRING "5.0.1" #endif // EIGEN_VERSION_H