Fixed Scala 2.12 compatibility.

dominique-unruh · Sep 11, 2023 · 191200d · 191200d
1 parent 408e6a6
commit 191200d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/de/unruh/isabelle/java/JIsabelle.scala b/src/main/scala/de/unruh/isabelle/java/JIsabelle.scala
@@ -4,7 +4,7 @@ import java.nio.file.Path
 
 import de.unruh.isabelle.control
 import de.unruh.isabelle.control.Isabelle
-import scala.jdk.CollectionConverters._
+import collection.JavaConverters._ // Using this to be Scala 2.12 compatible
 
 /**
  * This object contains utility methods for invoking scala-isabelle methods from Java