From 6d1397e102df15c1b8456806abd6b889b14fff03 Mon Sep 17 00:00:00 2001
From: Christoph Fuerst <ch.fuerst@gmx.at>
Date: Thu, 6 Apr 2017 21:57:14 +0200
Subject: [PATCH] Corrected datatype

---
 discrete_log.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/discrete_log.txt b/discrete_log.txt
index 5ea4687..b4ce377 100644
--- a/discrete_log.txt
+++ b/discrete_log.txt
@@ -17,7 +17,7 @@ proc InvModP(a:ℕ[K^2],p:prime): prime
    ensures (a*result) % p = 1;
 {
    var ainv:prime := 0;
-   var i:ℕ[K^2];
+   var i:prime;
 
    // straight search
    // algorithmic alternative: Euclidean algorithm   
-- 
2.1.4