Remove reference to specific version of MPS.

This commit is contained in:
Fedor Isakov 2017-12-06 18:22:43 +01:00 committed by GitHub
parent c236981fb6
commit 0531b62830
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -36,7 +36,7 @@ Once finished, the constraint rules produce the inferred types and type errors,
## Dependencies
The source code can be opened with the latest version of JetBrains MPS, which is 2017.1 as of the time this file is written. The plugin that is created with the build script is also compatible with the same version of MPS.
The source code can be opened with the latest version of JetBrains MPS. The plugin that is created with the build script is also compatible with the same version of MPS.
## Installation