From 4b29ca84765c40ebcdb766d998d8b7992fba4c66 Mon Sep 17 00:00:00 2001 From: John Ericson Date: Sun, 19 Jan 2025 12:18:54 -0500 Subject: [PATCH] Fix typo --- doc/manual/source/store/drv.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/manual/source/store/drv.md b/doc/manual/source/store/drv.md index a59a9c8d4..999ad68ba 100644 --- a/doc/manual/source/store/drv.md +++ b/doc/manual/source/store/drv.md @@ -211,9 +211,9 @@ data DerivingPath } ``` -Now, the `drv` field of `BuiltObject` is itself a `DerivingPath` instead of an `StorePath`. +Now, the `drv` field of `Output` is itself a `DerivingPath` instead of an `StorePath`. -Under this extended model, `DerivingPath`s are thus inductively built up from an `ConstantPath`, contains in 0 or more outer `Outputs`. +Under this extended model, `DerivingPath`s are thus inductively built up from an `ConstantPath`, contains in 0 or more outer `Output`s. ### Encoding