Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
build: add dependency to mps.extensions build module t #153
This is required to fix the new model checking errors introduced with the update to MPS 2018.3.
It seems that it's no a bug in the build language but a problem with the model checker that is now becoming visible because of changes in how model checking errors are reported.