diff options
| author | coqbot-app[bot] | 2020-10-01 18:10:45 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-01 18:10:45 +0000 |
| commit | 42a5e337c7a33bf0ec9530b6ce161a3053362b3d (patch) | |
| tree | aa5beea45ab81152683bc6a63baf627dc56e0394 /kernel/nativelambda.ml | |
| parent | 2855edead8813e48618041e21a467e83019b470d (diff) | |
| parent | d6fcf088d556d919b31530eee44bfd3ce1d8919e (diff) | |
Merge PR #13108: Getting rid of temerarious EConstr.to_constr in Himsg
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions