diff options
author | Michael Schmidt <github@mschmidt.me> | 2015-11-06 13:04:58 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2015-11-06 13:04:58 +0100 |
commit | 31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67 (patch) | |
tree | b5a2012cf3143c7a2ee1a8da9da98c2e2a7e1cb2 /debug/DwarfTypes.mli | |
parent | e5aeeb137cfd95289ec9388318f65df6f5b08db6 (diff) | |
download | compcert-kvx-31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67.tar.gz compcert-kvx-31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67.zip |
bug 17567, typos
Diffstat (limited to 'debug/DwarfTypes.mli')
-rw-r--r-- | debug/DwarfTypes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index a4c75201..2af64c0b 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -297,7 +297,7 @@ type debug_entries = | Gnu of gnu_entries (* The target specific functions for printing the debug information *) -module type DWARF_TARGET= +module type DWARF_TARGET = sig val label: out_channel -> int -> unit val section: out_channel -> section_name -> unit |