diff --git a/annotator-core/src/main/java/edu/ucr/cs/riple/core/registries/index/Error.java b/annotator-core/src/main/java/edu/ucr/cs/riple/core/registries/index/Error.java index c4a53a6e..c94da7c2 100644 --- a/annotator-core/src/main/java/edu/ucr/cs/riple/core/registries/index/Error.java +++ b/annotator-core/src/main/java/edu/ucr/cs/riple/core/registries/index/Error.java @@ -42,8 +42,6 @@ public abstract class Error { public final String messageType; /** Error message. */ public final String message; - /** Annotations */ - public final Set annotations; /** The fixes which can resolve this error (possibly null). */ protected final Set fixes; /** Offset of program point in original version where error is reported. */ @@ -62,7 +60,6 @@ public Error( this.messageType = messageType; this.message = message; this.offset = offset; - this.annotations = annotations; this.fixes = computeFixesFromAnnotations(annotations); }