Fixed multiple typos

This commit is contained in:
Dimitris Tsapakidis
2017-09-24 17:53:13 -07:00
committed by Pieter Wuille
parent f532bdc9f7
commit 8c7ea22d54
2 changed files with 2 additions and 2 deletions

View File

@@ -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