summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall_core/src/core.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 2eb8980..1de363c 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -726,7 +726,7 @@ pub fn shift<S, A>(
/// removes the variable from the environment by shifting the indices
/// of other variables appropriately.
///
-/// ```
+/// ```text
/// subst_shift(x, v, e) = ↑(-1, x, e[x := ↑(1, x, v)])
/// ```
///