Remove -async-proofs-full flag

The semantics of this flag was not clear, it had several rather
orthogonal effects. Also, it should probably have been another value of
`-async-proofs-mode`, rather than a separate flag, as its combination
with e.g. `-async-proofs-mode off` is unclear.

1 files changed, 0 insertions, 1 deletions

diff --git a/stm/stm.mli b/stm/stm.mli
index 0c0e19ce5c..4db83a7359 100644
--- a/stm/stm.mli
+++ b/stm/stm.mli
@@ -27,7 +27,6 @@ module AsyncOpts : sig
     async_proofs_mode : async_proofs;
 
     async_proofs_private_flags : string option;
-    async_proofs_full : bool;
     async_proofs_never_reopen_branch : bool;
 
     async_proofs_tac_error_resilience : tac_error_filter;