From 01431eb67ed566baa2268f1382d687bc7b020d1c Mon Sep 17 00:00:00 2001
From: vblot <24938579+vblot@users.noreply.github.com>
Date: Wed, 25 Aug 2021 14:56:41 +0200
Subject: fix array notations clash with ssreflect

---
 src/SMTCoq.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/SMTCoq.v')

diff --git a/src/SMTCoq.v b/src/SMTCoq.v
index 9c85d72..694f2ed 100644
--- a/src/SMTCoq.v
+++ b/src/SMTCoq.v
@@ -11,7 +11,7 @@
 
 
 Require Export PropToBool.
-Require Export Int63 List PArray.
+Require Export Int63 List.
 Require Export SMTCoq.State SMTCoq.SMT_terms SMTCoq.Trace SMT_classes_instances.
 Require Export Tactics.
 Require Export Conversion_tactics.
-- 
cgit