clean up

ucr-riple · Oct 3, 2024 · fbbd9bf · fbbd9bf
1 parent 7ae149e
commit fbbd9bf
Showing 1 changed file with 0 additions and 3 deletions.
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
@@ -42,8 +42,6 @@ public abstract class Error {
   public final String messageType;
   /** Error message. */
   public final String message;
-  /** Annotations */
-  public final Set<AddAnnotation> annotations;
   /** The fixes which can resolve this error (possibly null). */
   protected final Set<Fix> 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);
   }