Bug#878983: cduce FTBFS with OCaml 4.05.0

[Adrian Bunk <bunk@debian.org>]

Source: cduce
Version: 0.6.0-5
Severity: serious
Tags: buster sid

https://buildd.debian.org/status/package.php?p=cduce&suite=sid

...
Build types/atoms.cmx
Build types/normal.cmi
Build types/normal.cmx
File "types/normal.ml", line 1:
Error: The implementation types/normal.ml
       does not match the interface types/normal.cmi:
       ...
       At position module Make(X1)(X2) : <here>
       Values do not match:
         val pi1 : (X1.t * '_a) list -> X1.t
       is not included in
         val pi1 : t -> X1.t
       File "types/normal.ml", line 80, characters 6-9: Actual declaration
Makefile.distrib:317: recipe for target 'types/normal.cmx' failed
make[2]: *** [types/normal.cmx] Error 2