From 079bf7f633beac6d5f280f8f17868e0f11cb05bb Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 30 Nov 2014 13:53:02 -0800 Subject: [PATCH] test(tests/lean/run/vector): use nat.add --- tests/lean/run/vector.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/lean/run/vector.lean b/tests/lean/run/vector.lean index 8e9e2ead0..62d1aa7cd 100644 --- a/tests/lean/run/vector.lean +++ b/tests/lean/run/vector.lean @@ -111,7 +111,7 @@ namespace vector end end) v - example : map num.add (1 :: 2 :: vnil) (3 :: 5 :: vnil) = 4 :: 7 :: vnil := + example : map nat.add (1 :: 2 :: vnil) (3 :: 5 :: vnil) = 4 :: 7 :: vnil := rfl print definition map