From f0df8c590bfc44c39c18a4c6f03cfb5a52435399 Mon Sep 17 00:00:00 2001
From: jadep <jade.philipoom@gmail.com>
Date: Thu, 21 Jul 2016 11:48:16 -0400
Subject: Removed lingering print statement.

---
 src/Specific/GF1305.v | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

diff --git a/src/Specific/GF1305.v b/src/Specific/GF1305.v
index c30485f5e..fba77a4a8 100644
--- a/src/Specific/GF1305.v
+++ b/src/Specific/GF1305.v
@@ -152,8 +152,6 @@ Definition mul (f g : fe1305) : fe1305 :=
   Eval cbv beta iota delta [proj1_sig mul_sig] in
   proj1_sig (mul_sig f g).
 
-Print mul.
-
 Definition mul_correct (f g : fe1305)
   : mul f g = carry_mul_opt k_ c_ f g :=
   Eval cbv beta iota delta [proj1_sig add_sig] in
-- 
cgit v1.2.3