diff options
| author | Maxime Dénès | 2017-03-29 16:04:15 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-29 16:08:20 +0200 |
| commit | 1cf91df6e0617c316dff7d99c7603a26b694e647 (patch) | |
| tree | 6e5c85262f80505afa3d400b319ef268e1c099ae /kernel/nativecode.ml | |
| parent | dc8d8daf8850ff1a414ae36c860bc925d87eab01 (diff) | |
Fix call to broken unsafe_type_of in apply tactic.
This broke the build of iris-coq in the EConstr branch. Each time you
use unsafe_type_of, I loose a night of sleep, so please stop.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions