Mark the -I option in coqchk as deprecated and merge it with -Q.

It is not doing the same thing as coqtop, and the corresponding coqtop
semantics is irrelevant in the checker as the latter does not rely on ML
code.

0 files changed, 0 insertions, 0 deletions