Arguments for gsetC and gset_disjC.

bf069d12 · Robbert Krebbers · 71c10187 · bf069d12
Commit bf069d12 authored Jan 31, 2017 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

theories/algebra/gset.v theories/algebra/gset.v +2 -0

No files found.
--- 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 _ {_ _}.