diff options
Diffstat (limited to 'toplevel/stm.ml')
| -rw-r--r-- | toplevel/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/stm.ml b/toplevel/stm.ml index 1f127b4a0..84bfaaa70 100644 --- a/toplevel/stm.ml +++ b/toplevel/stm.ml @@ -1144,7 +1144,7 @@ let delegate_policy_check time = (!Flags.async_proofs_mode = Flags.APonParallel 0 || !Flags.async_proofs_mode = Flags.APonLazy) && time >= 1.0 else if !Flags.compilation_mode = Flags.BuildVi then true - else !Flags.async_proofs_mode <> Flags.APoff + else !Flags.async_proofs_mode <> Flags.APoff && time >= 1.0 let collect_proof cur hd brkind id = prerr_endline ("Collecting proof ending at "^Stateid.to_string id); |