From 8f60a6ee62743c2ef0c8518a9c4030b7d831a22f Mon Sep 17 00:00:00 2001 From: Master-Killer Date: Fri, 2 Feb 2024 17:21:03 +0100 Subject: [PATCH] Fix typo in handling-invariant-vars.md --- docs/_docs/internals/cc/handling-invariant-vars.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_docs/internals/cc/handling-invariant-vars.md b/docs/_docs/internals/cc/handling-invariant-vars.md index e9f0dc85317c..c0e5f6034596 100644 --- a/docs/_docs/internals/cc/handling-invariant-vars.md +++ b/docs/_docs/internals/cc/handling-invariant-vars.md @@ -10,7 +10,7 @@ Depending on what part of an original type created a map result, the set `v` is We can describe the syntax of capture set constraints like this: ``` -Capture set a, b, c = ac // constant, aliases bv, cc +Capture set a, b, c = ac // constant, aliases bc, cc | av // variable, aliases bv, cv Typemap tm = B // bijective on capabilities