member: beta redux

aya-prover · Jul 9, 2024 · a0459b7 · a0459b7
1 parent ad53fb0
commit a0459b7
Showing 1 changed file with 5 additions and 0 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,6 +26,11 @@ 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,