From 4b0631bbfd5643e74f896f59a64843d40198f87c Mon Sep 17 00:00:00 2001
From: Robbert Krebbers
Date: Mon, 30 Jan 2017 16:34:36 +0100
Subject: [PATCH] A bunch of missing Params instances.
---
theories/base.v | 2 ++
1 file changed, 2 insertions(+)
diff --git a/theories/base.v b/theories/base.v
index ccd3042..65233dd 100644
--- 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.
--
GitLab