diff options
| author | Pierre-Marie Pédrot | 2020-02-05 16:22:26 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-02-05 17:15:16 +0100 |
| commit | 22b3b961804bea2c8b56cbab9a0c4902bf45c56c (patch) | |
| tree | 4df8a11e5578553d8721124a91ec54946226957b /kernel | |
| parent | 5f508021585c3b385e603524b49a25ecc65cfa7d (diff) | |
Remove a dubious part of the checker code relying on a universe context
data from a part where it should never access it.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions