From 890b145acb5da23a029148c7a2cbba50c98f25e2 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 19 Nov 2023 10:12:00 +0000
Subject: Rename addField to addMethod

---
 src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java b/src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java
index 5282a9a4..0fc32896 100644
--- a/src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java
+++ b/src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java
@@ -10,7 +10,7 @@ public record UserDefinedEffectInfo(FieldsInfo<FunctionType> methods) {
             return new UserDefinedEffectInfo(methods.build());
         }
 
-        public Builder addField(String name, FunctionType type) {
+        public Builder addMethod(String name, FunctionType type) {
             return new Builder(this.methods.addField(name, type));
         }
     }
-- 
cgit v1.2.3