diff --git a/theories/algebra/gset.v b/theories/algebra/gset.v
index 7b1756919bcc57146fe1aba697038474340a58be..5fb4622c5bbc6a113778c455a40016adc37bccd1 100644
--- a/theories/algebra/gset.v
+++ b/theories/algebra/gset.v
@@ -59,6 +59,7 @@ Section gset.
   Proof. by apply persistent_total; rewrite gset_core_self. Qed.
 End gset.
 
+Arguments gsetC _ {_ _}.
 Arguments gsetR _ {_ _}.
 Arguments gsetUR _ {_ _}.
 
@@ -220,5 +221,6 @@ Section gset_disj.
   Qed.
 End gset_disj.
 
+Arguments gset_disjC _ {_ _}.
 Arguments gset_disjR _ {_ _}.
 Arguments gset_disjUR _ {_ _}.