Update

[l4.git] / l4 / pkg / ocaml / contrib / tools / depend.mli

diff --git a/l4/pkg/ocaml/contrib/tools/depend.mli b/l4/pkg/ocaml/contrib/tools/depend.mli
deleted file mode 100644 (file)
index 682d2c6..0000000
--- a/l4/pkg/ocaml/contrib/tools/depend.mli
+++ /dev/null
@@ -1,23 +0,0 @@
-(***********************************************************************)
-(*                                                                     *)
-(*                           Objective Caml                            *)
-(*                                                                     *)
-(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
-(*                                                                     *)
-(*  Copyright 1999 Institut National de Recherche en Informatique et   *)
-(*  en Automatique.  All rights reserved.  This file is distributed    *)
-(*  under the terms of the Q Public License version 1.0.               *)
-(*                                                                     *)
-(***********************************************************************)
-
-(* $Id: depend.mli 4694 2002-04-18 07:27:47Z garrigue $ *)
-
-(** Module dependencies. *)
-
-module StringSet : Set.S with type elt = string
-
-val free_structure_names : StringSet.t ref
-
-val add_use_file : StringSet.t -> Parsetree.toplevel_phrase list -> unit
-
-val add_signature : StringSet.t -> Parsetree.signature -> unit