diff options
Diffstat (limited to 'compiler/InterpreterProjectors.mli')
| -rw-r--r-- | compiler/InterpreterProjectors.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterProjectors.mli b/compiler/InterpreterProjectors.mli index 602125c6..1afb9d53 100644 --- a/compiler/InterpreterProjectors.mli +++ b/compiler/InterpreterProjectors.mli @@ -10,7 +10,7 @@ open InterpreterBorrowsCore Apply a proj_borrows on a shared borrow. Note that when projecting over shared values, we generate - {!V.abstract_shared_borrows}, not {!V.avalue}s. + {!type:V.abstract_shared_borrows}, not {!type:V.avalue}s. Parameters: [regions] |