aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/vcs.ml
diff options
context:
space:
mode:
Diffstat (limited to 'stm/vcs.ml')
-rw-r--r--stm/vcs.ml2
1 files changed, 0 insertions, 2 deletions
diff --git a/stm/vcs.ml b/stm/vcs.ml
index d3886464d..88f860eb6 100644
--- a/stm/vcs.ml
+++ b/stm/vcs.ml
@@ -74,8 +74,6 @@ module Dag = Dag.Make(OT)
type id = OT.t
-module NodeSet = Dag.NodeSet
-
module Branch =
struct
type t = string