Commit fb144483 authored by Robbert Krebbers's avatar Robbert Krebbers

Fix implicit arguments indexed product.

parent cb4fd1bb
......@@ -572,4 +572,4 @@ Section iprod_cmra.
CMRAT iprod_cofe_mixin iprod_cmra_mixin iprod_cmra_extend_mixin.
End iprod_cmra.
Arguments iprodRA : clear implicits.
Arguments iprodRA {_} _.
......@@ -399,4 +399,4 @@ Section iprod_cofe.
Canonical Structure iprodC : cofeT := CofeT iprod_cofe_mixin.
End iprod_cofe.
Arguments iprodC : clear implicits.
Arguments iprodC {_} _.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment