diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2013-12-26 17:07:53 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-05 16:55:58 +0100 |
| commit | 738440cdf663f5d2cb4d8e4f186b1accb9dac81d (patch) | |
| tree | 43cf72992df2d3072a8e7f033e3184083d519df8 /ide/coq.ml | |
| parent | 85e5450775fd8cfaefa8962c9907941aa8154274 (diff) | |
Fix some warnings with ocamlc 4.01
Diffstat (limited to 'ide/coq.ml')
0 files changed, 0 insertions, 0 deletions