Merge pull request #237 from ocaml/ps/rr/refactor__remove__automata_m…

…arks__from_interface refactor: remove [Automata.Marks] from interface
ocaml · Apr 14, 2024 · e5f9129 · e5f9129
2 parents 592471d + 45d4cf8
commit e5f9129
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/lib/automata.mli b/lib/automata.mli
@@ -56,11 +56,6 @@ val rename : ids -> expr -> expr
 (* States of the automata *)
 
 type idx = int
-module Marks : sig
-  type t =
-    { marks: (mark * idx) list
-    ; pmarks: Pmark.Set.t }
-end
 
 module E : sig
   type t