1 files changed, 0 insertions, 1 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index 3576a95..349cd0f 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -36,6 +36,5 @@ nav:
     - Name: 'type_system/name.md'
     - Symbol: 'type_system/symbol.md'
     - Op: 'type_system/op.md'
-    - Control: 'type_system/control.md'
     - List: 'type_system/list.md'
     - Namespace: 'type_system/namespace.md'