summaryrefslogtreecommitdiff
path: root/lib/ur/listPair.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-28 12:40:55 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-28 12:40:55 -0400
commit8327f190c80287003048eaa10857d0f081b551bb (patch)
tree1ebd4c0f5a8f22a6ddd0dbb86cd2cc741b610e0e /lib/ur/listPair.ur
parenta735f6ea0ef8ec5895dfe7f895f89ee8c126de14 (diff)
Fix EDLet elab_util bug
Diffstat (limited to 'lib/ur/listPair.ur')
-rw-r--r--lib/ur/listPair.ur2
1 files changed, 1 insertions, 1 deletions
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