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

---
 etc/coq-scripts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc')

diff --git a/etc/coq-scripts b/etc/coq-scripts
index 7bd683da1..ef2d7f9e7 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 7bd683da1fac8b5eb42de1e44a3274db4fd0ce41
+Subproject commit ef2d7f9e7e9530f05fb3b2362db787a2885c59b4
-- 
cgit v1.2.3