diff options
| author | Antonio Nikishaev | 2020-04-30 00:45:34 +0400 |
|---|---|---|
| committer | Antonio Nikishaev | 2020-04-30 13:26:00 +0400 |
| commit | 4a474065cdd12591cf3a45358b0bd446834b2670 (patch) | |
| tree | 33c2972c9d1e7bcdd7532e7a2a7c1e576719858e /kernel/nativelambda.ml | |
| parent | 1175ca0573cb13bf59148ebdab347a62875ad95e (diff) | |
do not re-export ListNotations from Program: fix testsuite
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions