From 6f2493f77f61b3922f3bc01ce3ea613f2a70230c Mon Sep 17 00:00:00 2001
From: Jade Philipoom <jadep@google.com>
Date: Wed, 30 May 2018 15:30:04 +0200
Subject: Define machine model, write prefancy->fancy pass, and prove
 Montgomery code correct

---
 bbv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bbv')

diff --git a/bbv b/bbv
index 4dcd180f0..38fe6a40e 160000
--- a/bbv
+++ b/bbv
@@ -1 +1 @@
-Subproject commit 4dcd180f0605c6aa401097685593433d68062010
+Subproject commit 38fe6a40ea26ce738637e340d7f8e9f0eb85fbc3
-- 
cgit v1.2.3