From 8e3c89bad3a20c0bb9c88b83d966565d79822ff1 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 12 Jun 2020 19:05:34 +0100
Subject: Update matrix and use 32 bit

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 7b2f864..a1026ed 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -14,4 +14,4 @@
 -R lib/CompCert/flocq compcert.flocq
 -R lib/CompCert/lib compcert.lib
 -R lib/CompCert/x86 compcert.x86
--R lib/CompCert/x86_64 compcert.x86_64
+-R lib/CompCert/x86_32 compcert.x86_64
-- 
cgit