From 0a5a6b90bc75a8d75fdff71c9b08abe9b0b96b0a Mon Sep 17 00:00:00 2001 From: Dimitris Tsapakidis Date: Tue, 20 Jun 2017 01:57:31 +0300 Subject: Fixed multiple typos A few "a->an" and "an->a". "Shows, if the supplied default SOCKS5 proxy" -> "Shows if the supplied default SOCKS5 proxy". Change made on 3 occurrences. "without fully understanding the ramification of a command" -> "without fully understanding the ramifications of a command". Removed duplicate words such as "the the". --- src/secp256k1/sage/group_prover.sage | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/secp256k1/sage/group_prover.sage') diff --git a/src/secp256k1/sage/group_prover.sage b/src/secp256k1/sage/group_prover.sage index ab580c5b23..5198724bea 100644 --- a/src/secp256k1/sage/group_prover.sage +++ b/src/secp256k1/sage/group_prover.sage @@ -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 -- cgit v1.2.3