fix warning

This commit is contained in:
Simon Cruanes 2022-02-11 21:15:04 -05:00
parent 01b209b218
commit 2a1c7cd8f0
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6

View file

@ -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 = {