diff --git a/annotation-file-utilities/annotation-file-utilities.html b/annotation-file-utilities/annotation-file-utilities.html index 99c39c757..30791ec8b 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.34.0, 02 May 2023. +3.34.0-eisop1, 09 May 2023.

  1. Download - annotation-tools-3.34.0.zip. + annotation-tools-3.34.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 a09ddafa2..31b9978fe 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.32.0-eisop1"; + public static final String INDEX_UTILS_VERSION = "Annotation File Utilities v3.34.0-eisop1"; @Option("-b omit annotations from bridge (compiler-created) methods") public static boolean ignore_bridge_methods = false;