diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-11-23 11:16:09 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2022-11-23 11:16:09 +0100 |
commit | 6292d5616e19ae2b2e1e86d4494417b0e0d264d8 (patch) | |
tree | d9764227504bd5f4b1eec2aaa3d9d658e59b775f /doc/manual/src/language/index.md | |
parent | 3d23b9d0324ff415af9e5f35568aca98c04a90cc (diff) | |
parent | 05d0892443bbe92a6b6a1ee7b1d37ea05782d918 (diff) |
Merge remote-tracking branch 'origin/master' into auto-uid-allocation
Diffstat (limited to 'doc/manual/src/language/index.md')
-rw-r--r-- | doc/manual/src/language/index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/src/language/index.md b/doc/manual/src/language/index.md index f9e9b9781..db34fde75 100644 --- a/doc/manual/src/language/index.md +++ b/doc/manual/src/language/index.md @@ -93,7 +93,7 @@ This is an incomplete overview of language features, by example. `"hello ${ { a = "world" }.a }"` - `"1 2 ${3}"` + `"1 2 ${toString 3}"` `"${pkgs.bash}/bin/sh"` |