From 1e2f272560b67b5b56b09a8c709e59ce2d16c088 Mon Sep 17 00:00:00 2001 From: lcnr Date: Thu, 12 Jan 2023 15:23:33 +0100 Subject: [PATCH] Update src/solve/canonicalization.md Co-authored-by: Boxy --- src/solve/canonicalization.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solve/canonicalization.md b/src/solve/canonicalization.md index 90b7f010..ff8e02f7 100644 --- a/src/solve/canonicalization.md +++ b/src/solve/canonicalization.md @@ -3,6 +3,6 @@ While the exact approach to canonicalization for this solver will differ slightly wrt to lifetimes, please visit [the relevant chalk chapter][chalk] for now. -As of the 10th January canonicalization is not yet fully implemented for the solver. +As of the 10th January 2023 canonicalization is not yet fully implemented for the solver. [chalk]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalization \ No newline at end of file