From 2a1c7cd8f034853b9c47b156827271f71412742c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 11 Feb 2022 21:15:04 -0500
Subject: [PATCH] fix warning

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

diff --git a/src/data/CCGraph.ml b/src/data/CCGraph.ml
index 0217f151..250b7189 100644
--- a/src/data/CCGraph.ml
+++ b/src/data/CCGraph.ml
@@ -414,7 +414,7 @@ module SCC = struct
     mutable min_id: int; (* min ID of the vertex' scc *)
     id: int;  (* ID of the vertex *)
     mutable on_stack: bool;
-    mutable vertex: 'v;
+    vertex: 'v;
   }
 
   let mk_cell v n = {