From 32c471b27801468f94d47b9fbe639fd45c624c6a Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Sat, 10 Mar 2018 05:45:36 -0500
Subject: [PATCH] update for notation

---
 src/traits-canonicalization.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/traits-canonicalization.md b/src/traits-canonicalization.md
index 94b1d6b8..db2f939f 100644
--- a/src/traits-canonicalization.md
+++ b/src/traits-canonicalization.md
@@ -60,7 +60,7 @@ result, we'll have an array of values for the canonical inputs. For
 example, the canonical result might be:
 
 ```
-for<2> {
+for<?0, ?1> {
     values = [ Vec<?0>, '1, ?0 ]
                    ^^   ^^  ^^ these are variables in the result!
     ...