diff options
Diffstat (limited to 'tools/objinfo_lib.ml')
| -rw-r--r-- | tools/objinfo_lib.ml | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/tools/objinfo_lib.ml b/tools/objinfo_lib.ml deleted file mode 100644 index c24845d16..000000000 --- a/tools/objinfo_lib.ml +++ /dev/null @@ -1,16 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *) -(* *) -(* Copyright 2010 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: objinfo.ml 9510 2010-01-07 15:07:30Z doligez $ *) - -external get_cmxs_info : string -> int64 = "caml_get_cmxs_offset" - |