From ccce1437bcb04e4a2bac004dbaa8097eac1ead21 Mon Sep 17 00:00:00 2001
From: lcnr <rust@lcnr.de>
Date: Fri, 27 Jan 2023 12:18:36 +0100
Subject: [PATCH] update datecheck

---
 src/solve/canonicalization.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/solve/canonicalization.md b/src/solve/canonicalization.md
index 0ad22687..e34b13be 100644
--- a/src/solve/canonicalization.md
+++ b/src/solve/canonicalization.md
@@ -3,7 +3,8 @@
 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 10<!-- date-check --> January 2023, canonicalization is not yet fully implemented
+<!-- date-check: jan 2023 -->
+As of 10 January 2023,  canonicalization is not yet fully implemented
 in the new solver.
 
 [chalk]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalization
\ No newline at end of file