20 lines
607 B
Diff
20 lines
607 B
Diff
--- kawa-3.1.1/gnu/lists/CharSeq.java 2022-03-23 07:28:50.571397841 +0100
|
|
+++ kawa-3.1.1/gnu/lists/CharSeq.java 2022-03-23 07:58:40.438303100 +0100
|
|
@@ -43,4 +43,7 @@
|
|
throws java.io.IOException;
|
|
|
|
public String toString();
|
|
+
|
|
+ @Override
|
|
+ public boolean isEmpty();
|
|
}
|
|
--- kawa-3.1.1/kawa/standard/make.java 2022-03-23 07:28:50.623398157 +0100
|
|
+++ kawa-3.1.1/kawa/standard/make.java 2022-03-23 08:00:14.058873797 +0100
|
|
@@ -1,5 +1,6 @@
|
|
package kawa.standard;
|
|
import kawa.lang.*;
|
|
+import kawa.lang.Record; // avoid clash with java.lang.Record in Java 14
|
|
import gnu.mapping.*;
|
|
import gnu.expr.*;
|
|
|