From f35b3aa47bc6edc2a929e1803c8429113c34012b Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Wed, 24 Aug 2022 08:48:34 +0200
Subject: [PATCH] do not use unwarranted pkgs in example

---
 doc/manual/src/language/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/src/language/index.md b/doc/manual/src/language/index.md
index cea17bedc..83484dced 100644
--- a/doc/manual/src/language/index.md
+++ b/doc/manual/src/language/index.md
@@ -403,7 +403,7 @@ This is an incomplete overview of language features, by example.
  <tr>
   <td>
 
-   `with pkgs.lib; head [ 1 2 3 ]`
+   `with builtins; head [ 1 2 3 ]`
 
   </td>
   <td>