revert: previous commit

aya-prover · Jul 9, 2024 · bd870c4 · bd870c4
1 parent a0459b7
commit bd870c4
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/syntax/src/main/java/org/aya/syntax/core/term/call/MemberCall.java b/syntax/src/main/java/org/aya/syntax/core/term/call/MemberCall.java
@@ -26,11 +26,6 @@ private MemberCall update(Term clazz, ImmutableSeq<Term> newArgs) {
     return update(f.apply(0, of), Callable.descent(args, f));
   }
 
-  @Override
-  public @NotNull Term make() {
-    return make(this);
-  }
-
   public static @NotNull Term make(
     @NotNull ClassCall typeOfOf,
     @NotNull Term of,
@@ -43,7 +38,7 @@ private MemberCall update(Term clazz, ImmutableSeq<Term> newArgs) {
     return new MemberCall(of, ref, ulift, args).make();
   }
 
-  public @NotNull Term make() {
+  @Override public @NotNull Term make() {
     return switch (of()) {
       case NewTerm neu -> {
         var impl = neu.inner().get(ref);