diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index 4da8aa9..f76f21e 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -971,7 +971,8 @@ int getNodeIndex(Node3 *n, uint8_t index) {
   return -1;
 }
 
-int getNodeIndexExists(Node3 *n, uint8_t index) {
+int getNodeIndexExists(Node3 *self, uint8_t index) {
+  Node3 *n = (Node3 *)self;
   assume(n->numChildren >= 1);
   assume(n->numChildren <= 3);
   for (int i = 0; i < n->numChildren; ++i) {