diff options
| author | Pierre-Marie Pédrot | 2020-08-28 17:37:24 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-08-28 17:57:40 +0200 |
| commit | 427e8cac2c267a7302b71979c0f1019598176e31 (patch) | |
| tree | 9329c799da5572bcca4b01506f2dfe14c973c363 /dev/ci/ci-lambda_rust.sh | |
| parent | 911f33f0a0ff648082d329841388f59e8cecf231 (diff) | |
Drop opaque bodies of abstracted definitions.
This should save us a lot of useless hashconsing. This change should not be
observable because outside of the proof, the abstracted definition will be
either inlined or redefined with the body coming from the side-effect.
Diffstat (limited to 'dev/ci/ci-lambda_rust.sh')
0 files changed, 0 insertions, 0 deletions