From 02422653f6f5fab9944fda3e8f9458cecce19d5a Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 15 Jan 2017 18:42:45 -0500
Subject: Use match in curry2; this gives better reification

---
 src/Util/Curry.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Util/Curry.v')

diff --git a/src/Util/Curry.v b/src/Util/Curry.v
index c06c3493d..0e1c0d635 100644
--- a/src/Util/Curry.v
+++ b/src/Util/Curry.v
@@ -1,2 +1,2 @@
 Definition curry2 {A B C} (f : A -> B -> C) (x : A * B) : C
-:= f (fst x) (snd x).
+:= let '(a, b) := x in f a b.
-- 
cgit v1.2.3