From 0f7efe7518b925d9688dad4c6f6e87f84015e2c1 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Thu, 30 Apr 2026 16:53:14 +0100
Subject: wip case for instances

---
 src/checker_set.rs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/checker_set.rs')

diff --git a/src/checker_set.rs b/src/checker_set.rs
index e12cfb2..87da8bd 100644
--- a/src/checker_set.rs
+++ b/src/checker_set.rs
@@ -259,7 +259,6 @@ impl CheckerState {
                     field: field.clone(),
                 })
             }
-
             Element::Case { arms, scrutinee } => {
                 // TODO: do we allow mapping out of bottom?
                 if arms.is_empty() {
-- 
cgit v1.3.1