From 9d55a380b76b791648071e6354353e587132c119 Mon Sep 17 00:00:00 2001
From: jadep <jade.philipoom@gmail.com>
Date: Thu, 15 Jun 2017 00:48:34 -0400
Subject: fix wrong number of limbs for square as well

---
 src/Specific/Karatsuba.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Specific/Karatsuba.v b/src/Specific/Karatsuba.v
index 01be5a0c4..410e17548 100644
--- a/src/Specific/Karatsuba.v
+++ b/src/Specific/Karatsuba.v
@@ -251,7 +251,7 @@ Ltac basesystem_partial_evaluation_RHS :=
  Defined.
 
   Definition square_sig :
-    {square : (Z^sz -> Z^sz2)%type |
+    {square : (Z^sz -> Z^sz)%type |
                forall a : Z^sz,
                  let eval := Positional.Fdecode (m := m) wt in
                  Positional.Fdecode (m := m) wt (square a) = (eval a  * eval a)%F}.
-- 
cgit v1.2.3