#ifndef MCRL2_UTILITIES_TOOLSET_VERSION_CONST_H
#define MCRL2_UTILITIES_TOOLSET_VERSION_CONST_H
#include <string>

namespace mcrl2
{
namespace utilities
{

const std::string MCRL2_VERSION = "201409.1.13211 (" MCRL2_BUILD_TYPE ")";

}
}
#endif // MCRL2_UTILITIES_TOOLSET_VERSION_CONST_H
