diff options
| author | Hugo Herbelin | 2020-09-28 17:38:25 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-09-28 17:38:25 +0200 |
| commit | d6fcf088d556d919b31530eee44bfd3ce1d8919e (patch) | |
| tree | 2ff418310012e796d588eb01cc496d9a575d08ff /kernel/nativevalues.ml | |
| parent | 9c2228ff011dc6188b70084fa1e1a5158affcf24 (diff) | |
Getting rid of temerarious EConstr.to_constr in Himsg.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions