From 3ecc17d41ab76c69cd35bf38800949888292e7e1 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Thu, 2 Jan 2025 17:08:38 +0100
Subject: [PATCH] fix brace

---
 src/main/java/de/tla2b/analysis/TypeChecker.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/java/de/tla2b/analysis/TypeChecker.java b/src/main/java/de/tla2b/analysis/TypeChecker.java
index eec258d..bae579c 100644
--- a/src/main/java/de/tla2b/analysis/TypeChecker.java
+++ b/src/main/java/de/tla2b/analysis/TypeChecker.java
@@ -671,7 +671,6 @@ public class TypeChecker extends BuiltInOPs implements BBuildIns, TranslationGlo
 
 			case OPCODE_unchanged:
 				return BoolType.getInstance().unify(expected);
-			}
 
 			/*
 			 * no TLA+ Built-ins
-- 
GitLab