From b0bc29e215157f910a5fe5aa8d8ed3ab2b9ee46b Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Thu, 29 Aug 2024 10:43:46 +1200
Subject: [PATCH] Docs: Add todo for $check

---
 docs/source/cell/word_formal.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/source/cell/word_formal.rst b/docs/source/cell/word_formal.rst
index ae0f56025..8c52422a8 100644
--- a/docs/source/cell/word_formal.rst
+++ b/docs/source/cell/word_formal.rst
@@ -1,6 +1,10 @@
 Formal verification cells
 -------------------------
 
+.. TODO:: note on `$check`
+
+   If only I remembered what the note was...
+
 .. TODO:: Describe formal cells
 
    `$check`, `$assert`, `$assume`, `$live`, `$fair`, `$cover`, `$equiv`,