Viewing all changes in revision 10134.
- Committer: Hugo Herbelin
- Date: 2017-12-09 11:34:54 UTC
- Revision ID: git-v1:b4a8496d23b39e2ddf5594532c9d4412f41dc133
A fix for compilation with OCaml 4.04.0.
(Even though it is not the only issue for compiling with 4.04.)
(Even though it is not the only issue for compiling with 4.04.)
- files modified:
- contrib/subtac/subtac_obligations.ml
expand all
collapse all
added
removed
