diff options
Diffstat (limited to 'toplevel/coqargs.mli')
| -rw-r--r-- | toplevel/coqargs.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toplevel/coqargs.mli b/toplevel/coqargs.mli index 8723d21bb4..a51ed6766a 100644 --- a/toplevel/coqargs.mli +++ b/toplevel/coqargs.mli @@ -20,7 +20,6 @@ type coqargs_logic_config = { impredicative_set : Declarations.set_predicativity; indices_matter : bool; toplevel_name : Stm.interactive_top; - cumulative_sprop : bool; } type coqargs_config = { |