From 217198f0bba3b01fcf342c7583ce13a4b689d37b Mon Sep 17 00:00:00 2001 From: ddl Date: Fri, 23 Feb 2024 21:30:58 +0800 Subject: [PATCH] fix:constraint-generation doc --- mkdocs/docs/circom-language/constraint-generation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkdocs/docs/circom-language/constraint-generation.md b/mkdocs/docs/circom-language/constraint-generation.md index fa3df5b10..d8f619327 100644 --- a/mkdocs/docs/circom-language/constraint-generation.md +++ b/mkdocs/docs/circom-language/constraint-generation.md @@ -30,8 +30,8 @@ out <== 1 - a*b; Which is equivalent to: ```text -out === 1 – a*b; out <-- 1 - a*b; +out === 1 – a*b; ``` As mentioned before, assigning a value to a signal using `<--` and `-->` is considered dangerous and should, in general, be combined with adding constraints with `===`, which describe by means of constraints which the assigned values are. For example: