1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
index 89b73f84..0c1e59de 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
@@ -69,11 +69,11 @@ public class TypeCheckerSubTyping {
         OrderedPMap<TypeArg, TypeBounds> typeBounds,
         TypeInfos typeInfos
     ) {
-        public boolean isBoundTypeArg(TypeArg typeArg) {
+        private boolean isBoundTypeArg(TypeArg typeArg) {
             return this.typeBounds.containsKey(typeArg);
         }
 
-        public boolean isBoundEffectArg(EffectArg effectArg) {
+        private boolean isBoundEffectArg(EffectArg effectArg) {
             return this.effectBounds.containsKey(effectArg);
         }