Update pcollections to 4.0.1

Alexander Pann · Alexander Pann · commit 44ab8c706899 · 2024-01-11T10:57:06.000+01:00
diff --git a/build.gradle b/build.gradle
@@ -131,7 +131,7 @@ dependencies {
     mps "com.jetbrains:mps:$mpsVersion"
     languageLibs "com.mbeddr:platform:$mbeddrVersionSelector"
     junitAnt 'org.apache.ant:ant-junit:1.10.6'
-    pcollections 'org.pcollections:pcollections:3.1.4'
+    pcollections 'org.pcollections:pcollections:4.0.1'
 }
 
 

Original file line number	Diff line number	Diff line change
`@@ -131,7 +131,7 @@ dependencies {`
`131`	`131`	`mps "com.jetbrains:mps:$mpsVersion"`
`132`	`132`	`languageLibs "com.mbeddr:platform:$mbeddrVersionSelector"`
`133`	`133`	`junitAnt 'org.apache.ant:ant-junit:1.10.6'`
`134`		`- pcollections 'org.pcollections:pcollections:3.1.4'`
	`134`	`+ pcollections 'org.pcollections:pcollections:4.0.1'`
`135`	`135`	`}`
`136`	`136`
`137`	`137`