From bf2559ee7b93652914b98f4fd4707c89a4ec4236 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 31 Oct 2017 00:33:59 -0400
Subject: Update display logs

---
 src/Specific/montgomery64_2e129m25/fenzDisplay.log | 14 +-------------
 1 file changed, 1 insertion(+), 13 deletions(-)

(limited to 'src/Specific/montgomery64_2e129m25/fenzDisplay.log')

diff --git a/src/Specific/montgomery64_2e129m25/fenzDisplay.log b/src/Specific/montgomery64_2e129m25/fenzDisplay.log
index 25e1085c5..680322e0f 100644
--- a/src/Specific/montgomery64_2e129m25/fenzDisplay.log
+++ b/src/Specific/montgomery64_2e129m25/fenzDisplay.log
@@ -6,16 +6,4 @@ Interp-η
  uint64_t x6 = (x2 | x5);
  return x6)
 x
-     : word64 * word64 * word64 → ReturnType (Tbase match (if match match (let (lower, _) := Synthesis.P.bound1 in
-                                                                           lower) with
-                                                                    | 0%Z => Eq
-                                                                    | Z.pos _ => Lt
-                                                                    | Z.neg _ => Gt
-                                                                    end with
-                                                              | Eq => true
-                                                              | Lt => true
-                                                              | Gt => false
-                                                              end then Some 6 else None) with
-                                                    | Some lgsz => Syntax.TWord lgsz
-                                                    | None => Syntax.TZ
-                                                    end)
+     : word64 * word64 * word64 → ReturnType uint64_t
-- 
cgit v1.2.3