Refactoring: Corrected a left-over stype

parent 71755009
......@@ -21,7 +21,7 @@ Arguments TEnd {_ _}.
Arguments TSR {_ _} _ _ _.
Instance: Params (@TSR) 3.
Instance stype_inhabited V A : Inhabited (proto V A) := populate TEnd.
Instance proto_inhabited V A : Inhabited (proto V A) := populate TEnd.
CoFixpoint dual_proto {V A} (prot : proto V A) : proto V A :=
match prot with
......
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