From 8100968ef77a925d23968dd82ea0944941f6800e Mon Sep 17 00:00:00 2001
From: Steffen Smolka <smolka@cs.cornell.edu>
Date: Fri, 9 Nov 2018 01:04:52 -0500
Subject: [PATCH] bug fix: avoid polymorphic equality

---
 src/leaderlist.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/leaderlist.ml b/src/leaderlist.ml
index ecd2dd88..8a3e64c7 100644
--- a/src/leaderlist.ml
+++ b/src/leaderlist.ml
@@ -45,7 +45,7 @@ struct
 
     (* predicate to determine if a node is a leader *)
     let is_leader n =
-      if n = root then true (* the root node is always a leader *)
+      if G.V.equal n root then true (* the root node is always a leader *)
       else
         match G.pred g n with
         | [] ->