diff --git a/annotation-file-utilities/annotation-file-utilities.html b/annotation-file-utilities/annotation-file-utilities.html index 5bd2b2570..7d4e43ebf 100644 --- a/annotation-file-utilities/annotation-file-utilities.html +++ b/annotation-file-utilities/annotation-file-utilities.html @@ -139,14 +139,14 @@

Installation

The current release is Annotation File Utilities version -3.39.0, 02 Oct 2023. +3.39.0-eisop1, 22 Oct 2023.

  1. Download - annotation-tools-3.39.0.zip. + annotation-tools-3.39.0-eisop1.zip.
  2. diff --git a/annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassFileReader.java b/annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassFileReader.java index 28e9ee11d..43183b7e3 100644 --- a/annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassFileReader.java +++ b/annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassFileReader.java @@ -16,7 +16,7 @@ * into an {@link AScene}. */ public class ClassFileReader { - public static final String INDEX_UTILS_VERSION = "Annotation File Utilities v3.34.0-eisop1"; + public static final String INDEX_UTILS_VERSION = "Annotation File Utilities v3.39.0-eisop1"; @Option("-b omit annotations from bridge (compiler-created) methods") public static boolean ignore_bridge_methods = false;