diff options
| author | Matthieu Sozeau | 2015-01-14 20:56:29 +0530 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-01-18 00:16:42 +0530 |
| commit | f5cb0571c85a6fa61f25f92626f1752fc3fd6c34 (patch) | |
| tree | 6bbca1e53920b3d3e15a3130b3dd3a540d0c2afd /kernel/nativelambda.ml | |
| parent | ed339b1eef52a73e6e170b2613e65c1037105132 (diff) | |
Remove typeclass opaque directive, some proofs in the stdlib rely on it being transparent
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions