From d5435a34169d92a96f1436128f3e90df7f4f9e9a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavierleroy@users.noreply.github.com>
Date: Thu, 6 Feb 2020 17:27:05 +0100
Subject: Compatibility with OCaml 4.10 (#214)

debug/DwarfPrinter.mli: unused functor parameter trigger warning 69,
  replace by non-dependent functor type.
Makefile.extr: turn warning 69 (unused functor parameter) off
  for extracted code
configure: accept OCaml versions above 4.09
configure: update messages for unsupported versions of OCaml and Coq
---
 debug/DwarfPrinter.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debug')

diff --git a/debug/DwarfPrinter.mli b/debug/DwarfPrinter.mli
index e1e10601..78dc05fb 100644
--- a/debug/DwarfPrinter.mli
+++ b/debug/DwarfPrinter.mli
@@ -12,7 +12,7 @@
 
 open DwarfTypes
 
-module DwarfPrinter: functor (Target: DWARF_TARGET) ->
+module DwarfPrinter: DWARF_TARGET ->
   sig
     val print_debug: out_channel -> debug_entries -> unit
   end
-- 
cgit