diff options
| author | Matej Kosik | 2015-11-18 16:36:22 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:12 +0100 |
| commit | 420e750c4ef3be1d562e1729e5ec6adf94795913 (patch) | |
| tree | 2542ced7f8d59aaba3601ddb2f837535f359d748 /kernel/cbytecodes.ml | |
| parent | ee629d65f2d36544b0e5c8afb657933ef19c296d (diff) | |
CLEANUP: the definition of "type of constructor" was rephrased in order to make it more clear
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions