From 8c7ea22d54d3a6faa0f047533a3539fc1d2a844a Mon Sep 17 00:00:00 2001
From: Dimitris Tsapakidis
Date: Sun, 24 Sep 2017 17:53:13 -0700
Subject: [PATCH] Fixed multiple typos
---
sage/group_prover.sage | 2 +-
src/asm/field_10x26_arm.s | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/sage/group_prover.sage b/sage/group_prover.sage
index 68882e9..8521f07 100644
--- a/sage/group_prover.sage
+++ b/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
diff --git a/src/asm/field_10x26_arm.s b/src/asm/field_10x26_arm.s
index 1e2d7ff..5a9cc3f 100644
--- a/src/asm/field_10x26_arm.s
+++ b/src/asm/field_10x26_arm.s
@@ -11,7 +11,7 @@ Note:
- To avoid unnecessary loads and make use of available registers, two
'passes' have every time been interleaved, with the odd passes accumulating c' and d'
- which will be added to c and d respectively in the the even passes
+ which will be added to c and d respectively in the even passes
*/