From 2777e016ff6d9f6dfcb6e6f129596aef6d8938d0 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Fri, 15 Nov 2024 16:30:05 -0800
Subject: [PATCH] Be more consistent about TaggedNodePointer vs Node*

---
 ConflictSet.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index 3791e3b..f34258b 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -1695,7 +1695,7 @@ TaggedNodePointer &getOrCreateChild(TaggedNodePointer &self, TrivialSpan &key,
 }
 
 Node *nextPhysical(Node *node) {
-  auto nextChild = getFirstChild(node);
+  Node *nextChild = getFirstChild(node);
   if (nextChild != nullptr) {
     return nextChild;
   }
@@ -1713,7 +1713,7 @@ Node *nextPhysical(Node *node) {
 }
 
 Node *nextLogical(Node *node) {
-  auto nextChild = getFirstChild(node);
+  Node *nextChild = getFirstChild(node);
   if (nextChild != nullptr) {
     node = nextChild;
     goto downLeftSpine;