From: Wolfgang Schreiner <Wolfgang.Schreiner@risc.jku.at>
Date: Wed, 22 Mar 2017 15:15:28 +0000 (+0100)
Subject: typo
X-Git-Url: http://git.risc.jku.at/gitweb/?a=commitdiff_plain;h=54e39c9c2febe187ec71e7aa066109f1f148bedf;p=cfuerst%2Fformal-numbers.git

typo
---

diff --git a/numbertheory.txt b/numbertheory.txt
index e7e2a4e..60c3d5d 100644
--- a/numbertheory.txt
+++ b/numbertheory.txt
@@ -111,7 +111,7 @@ proc r2lexponentation(x:Base,n:Exp): Result
 }
 
 ////////////////////////////////////////////////////////////////////
-// Algorithm: Calcluate x^n by the classic Algorithm
+// Algorithm: Calculate x^n by the classic Algorithm
 ////////////////////////////////////////////////////////////////////
 proc xpowern(x:Base,n:Exp): Result
   ensures result = x^n;
@@ -128,3 +128,4 @@ proc xpowern(x:Base,n:Exp): Result
    return res;
 }
 
+