diff options
Diffstat (limited to 'contrib/extraction/table.mli')
| -rw-r--r-- | contrib/extraction/table.mli | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/contrib/extraction/table.mli b/contrib/extraction/table.mli index d8b17f5d56..7afb6782d1 100644 --- a/contrib/extraction/table.mli +++ b/contrib/extraction/table.mli @@ -29,11 +29,6 @@ val auto_inline : unit -> bool val optim : unit -> bool -(*s Set and Map over global reference *) - -module Refset : Set.S with type elt = global_reference -module Refmap : Map.S with type key = global_reference - (*s Target language. *) type lang = Ocaml | Haskell | Scheme | Toplevel |