From 79f476b16f1e11b2a78e592442df990b20420e0d Mon Sep 17 00:00:00 2001
From: stijn <s.heldens@esciencecenter.nl>
Date: Thu, 28 Sep 2023 12:35:35 +0200
Subject: [PATCH] Rename `into_vector` in documentation

---
 docs/build_api.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/build_api.py b/docs/build_api.py
index ee15b1e..c5cba43 100644
--- a/docs/build_api.py
+++ b/docs/build_api.py
@@ -84,7 +84,7 @@ def build_index_page(groups):
             "broadcast",
             "convert",
             "make_vec",
-            "into_vector",
+            "into_vec",
             "concat",
             "select",
             "for_each",