diff options
| author | Gabriel Kerneis | 2014-08-24 08:59:17 +0200 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-08-24 08:59:17 +0200 |
| commit | cf236dc90b7e091da0929df055c88e0093a70f41 (patch) | |
| tree | 073ba00df9253f94761c24b8d7147b71f517b02c /language/l2_typ.ott | |
| parent | c85cd3a93298736a30ceefaffd34c3a77848a226 (diff) | |
Silence some OCaml warnings
Diffstat (limited to 'language/l2_typ.ott')
0 files changed, 0 insertions, 0 deletions