From 9d7ad3f44240bebf14990ca802ff7723d01f5675 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Wed, 12 Jun 2024 10:07:39 +0100
Subject: Reduce visibility of methods

---
 .../java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java  | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/main/java')

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);
         }
 
-- 
cgit v1.2.3