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