1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 0c6c19c57..2c865c877 100644
--- a/CHANGES
+++ b/CHANGES
@@ -5,6 +5,7 @@ Vernacular commands
 
 - Added "Print Rewrite HintDb" to print the content of a DB used by
   autorewrite (doc TODO)
+- Added "Print Canonical Structures" (doc TODO)
 
 Gallina