forked from xavierleroy/coq2html
-
Notifications
You must be signed in to change notification settings - Fork 4
Open
Labels
documentation 📝Improvements or additions to documentationImprovements or additions to documentation
Description
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
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
documentation 📝Improvements or additions to documentationImprovements or additions to documentation