diff options
| author | Jason Gross | 2014-12-16 02:01:56 -0500 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-03-13 16:41:02 +0100 |
| commit | 9b8f5ef7125ed7b014521e1de7a40fb3905b0ae9 (patch) | |
| tree | 97cc60ca288a7a38b4b17440c6ff3022413cd61d /kernel/nativelambda.ml | |
| parent | 104df916312521ea5a8a5d7293ca539beef768ca (diff) | |
Add some tests for tryif
+ adjusting for the removal of `admit` by Arnaud Spiwack.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions