Update mkdocs.yml

iden3 · Mar 11, 2024 · dfe1c24 · dfe1c24
1 parent 1212503
commit dfe1c24
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mkdocs/mkdocs.yml b/mkdocs/mkdocs.yml
@@ -64,6 +64,7 @@ nav:
                - Inspect Option: 'circom-language/code-quality/inspect.md'
           - Circom Insight:
                - Compiler Phases: 'circom-language/circom-insight/circom-phases.md'
+               - Constraint simplification: 'circom-language/circom-insight/simplification.md'
                - Compiler Messages: 'circom-language/circom-insight/compiler-messages.md'
                - Unknowns : 'circom-language/circom-insight/unknowns.md'
                - Circom Library: 'circom-language/circom-insight/circom-library.md'