diff options
| author | Gaëtan Gilbert | 2019-06-26 11:53:11 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-06-26 11:53:11 +0200 |
| commit | 2c39a12f5a8d7178b991595324692c1596ea9199 (patch) | |
| tree | bbc5acce352b7700362c269381cf11f21919af83 /kernel/cbytecodes.ml | |
| parent | 8c5b2b21d1285306343099e4776258722973f4de (diff) | |
| parent | 8a6a3b4f6cbdaf2047ab30b7eaf451c166a874bc (diff) | |
Merge PR #9855: [Fail] Simplify `Fail` implementation.
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions