From c8b9ba72748e6507a209342324a208a8dfc69dd4 Mon Sep 17 00:00:00 2001
From: Daan Sprenkels <hello@dsprenkels.com>
Date: Mon, 19 Aug 2019 16:22:46 +0200
Subject: [PATCH] Fix removed \label{}

---
 implementation.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/implementation.tex b/implementation.tex
index ae1be89..e855274 100644
--- a/implementation.tex
+++ b/implementation.tex
@@ -7,8 +7,8 @@ on the Intel \emph{Sandy Bridge} and \emph{Haswell} microarchitectures,
 as well as the ARM \emph{Cortex M4} processor.
 
 The high-level structure of the scalar multiplication is shared among all three implementations. 
-First---before operating on the key $k$---we validate the input point $P$. 
-As mentioned in \Cref{sec:pointvalidation}, we check whether $P$ satisfies $y_P^2 = x_P^3 - 3x_P + 13318$. 
+First---before operating on the key $k$---we validate the input point $P$,
+by checking whether $P$ satisfies $y_P^2 = x_P^3 - 3x_P + 13318$. 
 Because we have not defined any encoding for the neutral element $\mathcal{O}$, 
 this check will implicitly validate that $P \ne \mathcal{O}$.
 
-- 
GitLab