diff options
| author | Enrico Tassi | 2015-06-03 22:08:45 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-06-03 22:08:45 +0200 |
| commit | b163cf2480615bce4bf280df6c5490f558eb3405 (patch) | |
| tree | a48c8542fdc14f43a15c9172803ac7938cc6f8ee /kernel/nativecode.ml | |
| parent | bb4810e7c7fc59c950cff7554cf77b076d25a0bd (diff) | |
Admitted does not drop poly-univ constraints (Fix #4244)
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions