diff options
| author | Matthieu Sozeau | 2015-09-30 18:35:44 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-02 15:54:12 +0200 |
| commit | 13337793ea7f709eaa50965797e4f79a3aa51a2b (patch) | |
| tree | 8e5cab316068f7d5a1e98cd3e8beabeeab76eaad /kernel/nativecode.ml | |
| parent | b8a85b65432a974d6a6f1fe5165e05d7196c9321 (diff) | |
Univs: fix handling of evd's universes and side effects in build_by_tactic
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions