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