diff options
Diffstat (limited to 'camlp4/ocaml_src/odyl/odyl_main.mli')
| -rw-r--r-- | camlp4/ocaml_src/odyl/odyl_main.mli | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/camlp4/ocaml_src/odyl/odyl_main.mli b/camlp4/ocaml_src/odyl/odyl_main.mli deleted file mode 100644 index be441a6c84..0000000000 --- a/camlp4/ocaml_src/odyl/odyl_main.mli +++ /dev/null @@ -1,13 +0,0 @@ -(* camlp4r *) -(* This file has been generated by program: do not edit! *) - -exception Error of string * string;; - -val nolib : bool ref;; -val initialized : bool ref;; -val path : string list ref;; -val loadfile : string -> unit;; -val directory : string -> unit;; - -val go : (unit -> unit) ref;; -val name : string ref;; |