diff options
| author | Emilio Jesus Gallego Arias | 2020-04-04 05:17:20 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-19 14:32:21 +0200 |
| commit | d97499e1dc8644821a0b9d70bf4dcd479bd1df26 (patch) | |
| tree | 43114138c1cd2574ece33fbb6945769b7b864215 /kernel/nativelambda.ml | |
| parent | e12716e7877ff622ac5e15eda31de0b49bd6f681 (diff) | |
[declare] Minor tweaks in prepare_obligation
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions