diff options
| author |  Matej Kosik <matej.kosik@inria.fr> | 2016-09-29 10:34:21 +0200 |
|---|---|---|
| committer | Matej Kosik <matej.kosik@inria.fr> | 2016-09-29 10:34:21 +0200 |
| commit | d02c9c566c58e566a1453827038f2b49b695c0a5 (patch) | |
| tree | 618c7cf31d2fbe1bff9df08e13d82298b4ae3bde /parsing/pcoq.ml | |
| parent | 6c1de7bcc111390400b0791cc910c86d9060333b (diff) | |
| parent | 7f96d753d65f7b6fefd725870e1a00f7d942aed7 (diff) | |
Updating the code wrt. to some Ocaml compiler warnings.
Diffstat (limited to 'parsing/pcoq.ml')
0 files changed, 0 insertions, 0 deletions