From 8db0c2e112b078f3a81887e7e722cac71e636071 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Clara=20Rodr=C3=ADguez?= Date: Mon, 11 Mar 2024 10:31:55 +0100 Subject: [PATCH] Minor simplification-json.md --- mkdocs/docs/circom-language/formats/simplification-json.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkdocs/docs/circom-language/formats/simplification-json.md b/mkdocs/docs/circom-language/formats/simplification-json.md index 69eb50b9b..35a4597ba 100644 --- a/mkdocs/docs/circom-language/formats/simplification-json.md +++ b/mkdocs/docs/circom-language/formats/simplification-json.md @@ -4,7 +4,7 @@ description: >- --- # Simplification substitution json format -The file contains a dictionary where the entries are the numbers of the simplified singnals as a string and the values are the linear expresion that has replaced the signal. +The file contains a dictionary where the entries are the numbers of the simplified signals as a string and the values are the linear expresion that has replaced the signal. ``` { "sig_num_1": lin_expr_1,