diff options
Diffstat (limited to 'asmcomp/dwarf_low/pubnames_table.ml')
| -rw-r--r-- | asmcomp/dwarf_low/pubnames_table.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/asmcomp/dwarf_low/pubnames_table.ml b/asmcomp/dwarf_low/pubnames_table.ml index e4581f3883..40a89fc3d8 100644 --- a/asmcomp/dwarf_low/pubnames_table.ml +++ b/asmcomp/dwarf_low/pubnames_table.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal (* http://llvm.org/docs/SourceLevelDebugging.html claims this table |