diff options
Diffstat (limited to 'versions.properties')
| -rw-r--r-- | versions.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/versions.properties b/versions.properties index 1812076dff..2d7132769e 100644 --- a/versions.properties +++ b/versions.properties @@ -29,7 +29,7 @@ jline.version=2.12.1 # external modules, used internally (not shipped) partest.version.number=1.0.7 -scalacheck.version.number=1.12.2 +scalacheck.version.number=1.11.6 # TODO: modularize the compiler #scala-compiler-doc.version.number=1.0.0-RC1 |