diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-10-21 11:21:55 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-10-21 11:21:55 +0100 |
| commit | 3c9ee59ff297da12a26e53063a52cbeb238661c1 (patch) | |
| tree | 48c8956d18da1f1e61d5b4e40cc48920f56c0b82 /src/main/java | |
| parent | 2d5e084fed84813d7300d46263ca9b5e50b38916 (diff) | |
Make TypeCheckerContext constructor private
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java index 8787be9a..d98579a1 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java @@ -103,7 +103,7 @@ public class TypeCheckerContext { private final TypeInfos typeInfos; private final PStack<StackElement> stack; - public TypeCheckerContext( + private TypeCheckerContext( TypeInfos typeInfos, PStack<StackElement> stack ) { |