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;