From 044a68b1b215125e2651c637f28c794536d27ba5 Mon Sep 17 00:00:00 2001
From: James Pollard <james@pollard.dev>
Date: Sun, 14 Jun 2020 16:41:27 +0100
Subject: Array semantics now uses dependent Array type.

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index a1026ed..7965da9 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_32 compcert.x86_64
+-R lib/CompCert/x86_32 compcert.x86_32
-- 
cgit