A bunch of missing Params instances.

4b0631bb · Robbert Krebbers · e54b7fe0 · 4b0631bb
Commit 4b0631bb authored Jan 30, 2017 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

theories/base.v theories/base.v +2 -0

No files found.
--- a/theories/base.v
+++ b/theories/base.v
@@ -422,6 +422,8 @@ Notation "p .1" := (fst p) (at level 10, format "p .1").
 Notation "p .2" := (snd p) (at level 10, format "p .2").

 Instance: Params (@pair) 2.
+Instance: Params (@fst) 2.
+Instance: Params (@snd) 2.

 Notation curry := prod_curry.
 Notation uncurry := prod_uncurry.