compilation with OCaml 11

affeldt-aist / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

1 stars 3 forks source link

Open affeldt-aist opened 1 month ago

affeldt-aist commented 1 month ago

It looks like compilation with OCaml version 4.11.2 errors:

ocamlopt -c coq2html.ml
File "coq2html.mll", line 291, characters 5-13:
Error: Unbound value Seq.find
make: *** [Makefile:10: coq2html.cmx] Error 2

There is maybe a minimal version for OCaml to require in the README. @yoshihiro503