Merge from master

[fanfix.git] / library / CacheLibrary.java

diff --git a/library/CacheLibrary.java b/library/CacheLibrary.java
index a3c3b5e3b7bb6f5a61962e8837158e28692feb56..e184c1bd6555e7d79547ab61ab774d92e5b608ff 100644 (file)
--- a/library/CacheLibrary.java
+++ b/library/CacheLibrary.java
@@ -419,7 +419,7 @@ public class CacheLibrary extends BasicLibrary {
        // BasicLibrary:
 
        @Override
-       protected int getNextId() {
+       protected String getNextId() {
                throw new java.lang.InternalError("Should not have been called");
        }