From e7266df5ff12c5ebc92082cb267ba5597fdfac13 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 5 Jan 2017 13:40:13 +0100
Subject: [PATCH] fix the build even more

---
 theories/algebra/ofe.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/algebra/ofe.v b/theories/algebra/ofe.v
index 23003d2d2..7cb4ce262 100644
--- a/theories/algebra/ofe.v
+++ b/theories/algebra/ofe.v
@@ -1009,7 +1009,7 @@ Section sigma.
   Qed.
 End sigma.
 
-Arguments sigC {A} f.
+Arguments sigC {A} P.
 
 (** Notation for writing functors *)
 Notation "∙" := idCF : cFunctor_scope.
-- 
GitLab