Commit e7266df5 authored by Ralf Jung's avatar Ralf Jung

fix the build even more

parent 4a36be37
Pipeline #3594 passed with stage
in 10 minutes and 52 seconds
...@@ -1009,7 +1009,7 @@ Section sigma. ...@@ -1009,7 +1009,7 @@ Section sigma.
Qed. Qed.
End sigma. End sigma.
Arguments sigC {A} f. Arguments sigC {A} P.
  • I always put _s in these Argument declarations to make sure they don't break on alpha renaming.

Please register or sign in to reply
(** Notation for writing functors *) (** Notation for writing functors *)
Notation "∙" := idCF : cFunctor_scope. Notation "∙" := idCF : cFunctor_scope.
......
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