From c91d82a0ae20e93ce219709c5dce7650602be6d9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 4 Nov 2013 08:38:20 -0500
Subject: Rename ListPair.map2 to ListPair.mp

---
 tests/listpair.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/listpair.ur')

diff --git a/tests/listpair.ur b/tests/listpair.ur
index 4ecacfd3..641b7a04 100644
--- a/tests/listpair.ur
+++ b/tests/listpair.ur
@@ -2,5 +2,5 @@ val x = 1 :: 2 :: []
 val y = 3 :: 4 :: []
 
 fun main () : transaction page = return <xml>
-  {[ListPair.map2 plus x y]}
+  {[ListPair.mp plus x y]}
 </xml>
-- 
cgit v1.2.3