diff options
| author | Matthieu Sozeau | 2015-10-06 09:58:20 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-06 10:01:19 +0200 |
| commit | df9caebb04fb681ec66b79c41ae01918cd2336de (patch) | |
| tree | f1712aa32ab470692d35a440c7d2a45cfcc37ec2 /kernel | |
| parent | 07f4e6b07775052cc1c5dc34cdfa7ad4eacfa94f (diff) | |
Univs (pretyping): call vm_compute/native_compute with the current
universe graph
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions