diff options
| author | Maxime Dénès | 2016-08-18 16:27:59 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-08-18 16:27:59 +0200 |
| commit | 0d0e9738fa5ec96be85796e5cb8486de00018155 (patch) | |
| tree | c689affbabf6565e16ec5d8b415be3ab7815af3f /kernel/cbytecodes.mli | |
| parent | ce9058b597fc53310619d537aadacc091755ed39 (diff) | |
Fix an occurrence of deprecated eqn syntax in stdlib.
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions