diff options
| author | Enrico Tassi | 2014-02-25 11:04:07 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-02-26 14:53:08 +0100 |
| commit | 02ca1e0bc62f58a5f5d321c42452509b9ec1f198 (patch) | |
| tree | c178be4ea5e44b683003960871ce04a0066e527a /kernel/nativecode.ml | |
| parent | ec8540506e27ae3f27a1ecffed1a3e9f6b6cbcb4 (diff) | |
STM: when batch compiling a vo, assert we behave conservatively
This meas that the list of future_constraints in safe_env is empty,
meaning that nothing was delayed.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions