diff options
| author | Matthieu Sozeau | 2015-10-01 15:36:57 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-02 15:54:13 +0200 |
| commit | b3d97c2147418f44fc704807d3812b04921591af (patch) | |
| tree | 695491ad5693218e18e023ac36671c653cf15c71 /kernel/nativecode.ml | |
| parent | c1630c9dcdf91dc965b3c375d68e3338fb737531 (diff) | |
Univs: fix bug #4251, handling of template polymorphic constants.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions