Error while generating documentation
coq2html release 1.3 makes an error while generating documentation:
File "scheduling/LazyCodeExamples.ml", line 102, characters 34-38:
102 | let ib2 = mk_ibinfo (Bseq (Bop (Oadd, [ i2p 2; i2p 3 ], i2p 5, def_iinfo()),
^^^^
Error: This variant expression is expected to have type Op.operation
There is no constructor Oadd within type Op.operation
Hint: Did you mean Oaddf or Oand?
chamois version : current 2e3c13c2