From c31eebd5de442e1fd7befc2be7e486c9c19ab7af Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Mon, 18 Mar 2024 16:03:41 -0700
Subject: [PATCH] No caller of CheckRangeRightSide::downLeftSpine has null n

---
 ConflictSet.cpp | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index d93c986..ee091ee 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -2013,10 +2013,7 @@ struct CheckRangeRightSide {
 
   bool downLeftSpine() {
     phase = DownLeftSpine;
-    if (n == nullptr) {
-      ok = true;
-      return true;
-    }
+    assert(n != nullptr);
     return false;
   }
 };