diff options
| author | Hugo Herbelin | 2014-10-17 15:14:54 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-10-17 15:14:54 +0200 |
| commit | cfff8f8a32708ea0c8e72178424db0b40665fe37 (patch) | |
| tree | fe126ebb99be8e307df8a0a0f7837f51619a0eb8 /kernel/nativecode.ml | |
| parent | bc8a5357889396f07d005a84bd3c50e9a25c1ddb (diff) | |
Experimental printing of the signature of open evars in Check.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions