fix argument-scope-delimiter warning

_CoqProject

iris/algebra/ofe.v

iris/bi/derived_connectives.v

iris/bi/embedding.v

iris/bi/interface.v

iris/bi/lib/counterexamples.v

iris/bi/lib/fractional.v

iris/bi/lib/laterable.v

iris/bi/monpred.v

iris/bi/plainly.v

iris/bi/updates.v

iris/bi/weakestpre.v

iris/proofmode/classes.v

iris/proofmode/classes_make.v

iris/proofmode/coq_tactics.v

iris/proofmode/environments.v

iris/proofmode/monpred.v

iris/proofmode/notation.v

iris_deprecated/base_logic/viewshifts.v