diff options
| author | Emilio Jesus Gallego Arias | 2019-06-07 20:59:56 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-27 12:31:25 +0200 |
| commit | 4b6295cedc8c968ab92a47b60945a9e3a7b2b398 (patch) | |
| tree | 7ad5e400337416b7425cc9b82eb6fc44f11e65ce /kernel/cbytecodes.ml | |
| parent | 90d0f98ea37038e35bba06f0c6ccb8e76d27a80e (diff) | |
[vernac] Remove special status of Load, turn it into VtNoProof
State is still token except for proofs [due to the compat layer, would
be great if someone could port the STM], but this should be good for now.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions