Fix 4.02 build · jon.recoil.org/odoc@2e88799

jon.recoil.org / odoc

fork atom

this repo has no description

fork atom

Fix 4.02 build

jon.recoil.org 2 years ago 2e88799a 85809555

+3 -1

1 changed file

expand all

src

document

generator.mli

+3 -1

src/document/generator.mli

··· 1 1 open Generator_signatures 2 2 3 - module Make (_ : SYNTAX) : GENERATOR 3 + [@@@warning "-67"] 4 + 5 + module Make (Syntax : SYNTAX) : GENERATOR