diff options
| author | Emilio Jesus Gallego Arias | 2019-02-20 03:01:23 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-20 03:01:23 +0100 |
| commit | 7c976ede65fbd5c6144e4cd58572c7c5a1229f73 (patch) | |
| tree | 6bc869470f9ba742dba1935fbe87edf9e1c8c1e6 /doc/plugin_tutorial/Makefile | |
| parent | 30eaa6490f1b3d6f66f397e82a8126d0ff197f4f (diff) | |
[coq] Fix OCaml warnings.
In anticipation to https://github.com/coq/coq/pull/9605 , we fix all
OCaml warnings.
Fixes coq/ltac2#107
Diffstat (limited to 'doc/plugin_tutorial/Makefile')
0 files changed, 0 insertions, 0 deletions