typo

diff --git a/numbertheory.txt b/numbertheory.txt
index e7e2a4e..60c3d5d 100644 (file)
--- 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;
 }
 
+