diff options
Diffstat (limited to 'sysinit/coqargs.mli')
| -rw-r--r-- | sysinit/coqargs.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sysinit/coqargs.mli b/sysinit/coqargs.mli index acf941f730..cc622fabe3 100644 --- a/sysinit/coqargs.mli +++ b/sysinit/coqargs.mli @@ -33,6 +33,7 @@ type injection_command = type coqargs_logic_config = { impredicative_set : Declarations.set_predicativity; indices_matter : bool; + type_in_type : bool; toplevel_name : top; } |