Remove a redundant constraint in BigAddModP#24

trackoor wants to merge 1 commit intoyi-sun:masteryi-sun/circom-pairing:masterfrom

trackoor:patch-1trackoor/circom-pairing:patch-1Copy head branch name to clipboard