From a069512b7122bd7787e3e9ee5ca4c153b434da04 Mon Sep 17 00:00:00 2001
From: Daniel Mendler <mail@daniel-mendler.de>
Date: Mon, 20 May 2019 07:49:34 +0200
Subject: [PATCH] fix #137

---
 bn_mp_div.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bn_mp_div.c b/bn_mp_div.c
index 1bf4405fe..fad3d2adc 100644
--- a/bn_mp_div.c
+++ b/bn_mp_div.c
@@ -213,7 +213,7 @@ mp_err mp_div(const mp_int *a, const mp_int *b, mp_int *c, mp_int *d)
 
          /* find right hand */
          t2.dp[0] = ((i - 2) < 0) ? 0u : x.dp[i - 2];
-         t2.dp[1] = ((i - 1) < 0) ? 0u : x.dp[i - 1];
+         t2.dp[1] = x.dp[i - 1]; /* i >= 1 always holds */
          t2.dp[2] = x.dp[i];
          t2.used = 3;
       } while (mp_cmp_mag(&t1, &t2) == MP_GT);