mirror of
https://github.com/ethereum/go-ethereum.git
synced 2026-08-19 10:22:23 +00:00
chore: remove repetitive word
Signed-off-by: shandongzhejiang <shandongzhejiang@icloud.com>
This commit is contained in:
parent
df645e77b7
commit
830e454a80
1 changed files with 1 additions and 1 deletions
|
|
@ -3,7 +3,7 @@
|
|||
# to independently set assumptions on input or intermediary variables.
|
||||
#
|
||||
# The general approach is:
|
||||
# * A constraint is a tuple of two sets of of symbolic expressions:
|
||||
# * A constraint is a tuple of two sets of symbolic expressions:
|
||||
# the first of which are required to evaluate to zero, the second of which
|
||||
# are required to evaluate to nonzero.
|
||||
# - A constraint is said to be conflicting if any of its nonzero expressions
|
||||
|
|
|
|||
Loading…
Reference in a new issue