From 31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Fri, 6 Nov 2015 13:04:58 +0100
Subject: bug 17567, typos

---
 debug/DwarfTypes.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debug/DwarfTypes.mli')

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
-- 
cgit