From ef4b9d4241777933cfba1a7140597a36c8d93638 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 20 Oct 2023 18:49:37 +0100
Subject: Mark environment field as final

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

(limited to 'src/main/java')

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