From 8327f190c80287003048eaa10857d0f081b551bb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 28 May 2009 12:40:55 -0400
Subject: Fix EDLet elab_util bug

---
 lib/ur/listPair.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/ur/listPair.ur')

diff --git a/lib/ur/listPair.ur b/lib/ur/listPair.ur
index 9a56f75a..a46cf187 100644
--- a/lib/ur/listPair.ur
+++ b/lib/ur/listPair.ur
@@ -1,4 +1,4 @@
-fun mapX (a ::: Type) (b ::: Type) (ctx ::: {Unit}) f =
+fun mapX [a] [b] [ctx ::: {Unit}] f =
     let
         fun mapX' ls1 ls2 =
             case (ls1, ls2) of
-- 
cgit v1.2.3