From e186109404b665d79bf441f8d1ccee39cc76b165 Mon Sep 17 00:00:00 2001
From: Nick Lewycky
Date: Sat, 22 Sep 2018 17:29:16 -0700
Subject: Fix typo in comment.

---
 theories/Numbers/Cyclic/Int31/Int31.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/Numbers/Cyclic/Int31/Int31.v b/theories/Numbers/Cyclic/Int31/Int31.v
index ca7d3ec074..3a2503d6b7 100644
--- a/theories/Numbers/Cyclic/Int31/Int31.v
+++ b/theories/Numbers/Cyclic/Int31/Int31.v
@@ -19,7 +19,7 @@ Require Export DoubleType.
 
 (** This file contains basic definitions of a 31-bit integer
   arithmetic. In fact it is more general than that. The only reason
-  for this use of 31 is the underlying mecanism for hardware-efficient
+  for this use of 31 is the underlying mechanism for hardware-efficient
   computations by A. Spiwack. Apart from this, a switch to, say,
   63-bit integers is now just a matter of replacing every occurrences
   of 31 by 63. This is actually made possible by the use of
-- 
cgit v1.2.3