remove visible todo box

Certora · Nov 20, 2023 · ddc2426 · ddc2426
1 parent b74d344
commit ddc2426
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/docs/user-guide/glossary.md b/docs/user-guide/glossary.md
@@ -1,10 +1,6 @@
 Glossary
 ========
 
-```{todo}
-This document is incomplete.
-```
-
 ````{glossary}
 
 control flow graph