diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-10-20 18:49:37 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-10-20 18:49:37 +0100 |
| commit | ef4b9d4241777933cfba1a7140597a36c8d93638 (patch) | |
| tree | 8cc9e0b219dd669834d8556fc19b69ed48b87bfe /src/main/java | |
| parent | c57ca9e4d30e07d2ff0ba2f113e905a3c3794c75 (diff) | |
Mark environment field as final
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/EnvironmentBuilder.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/EnvironmentBuilder.java b/src/main/java/org/shedlang/compiler/typechecker/EnvironmentBuilder.java index dca5abb5..8e08855c 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/EnvironmentBuilder.java +++ b/src/main/java/org/shedlang/compiler/typechecker/EnvironmentBuilder.java @@ -10,7 +10,7 @@ import java.util.List; public class EnvironmentBuilder { public static final EnvironmentBuilder EMPTY = new EnvironmentBuilder(Empty.map()); - private PMap<String, Variable> environment; + private final PMap<String, Variable> environment; private EnvironmentBuilder(PMap<String, Variable> environment) { this.environment = environment; |