diff options
| author | Pierre-Marie Pédrot | 2020-08-19 17:33:30 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-08-20 11:47:34 +0200 |
| commit | ca58a8015646158fae415ef4b3edc350d6eaefbc (patch) | |
| tree | df914cecc94b7c3ce36b42e4452eb065522a90bd /kernel/nativeconv.ml | |
| parent | 4ebccb9d2722a7323cb7fce5c9e00bf2eea5b69f (diff) | |
Do not store the transparent state in delayed dnets.
We know statically that it is going to be the one provided at the time of
lookup, so we simply fetch it from there.
Diffstat (limited to 'kernel/nativeconv.ml')
0 files changed, 0 insertions, 0 deletions