From e4c95253e01992bee0786312a5e2bbc5ec480253 Mon Sep 17 00:00:00 2001
From: Yishuai Li
Date: Wed, 24 Oct 2018 16:22:58 -0400
Subject: NArith: add lemmas about numbers and vectors

---
 theories/Strings/ByteVector.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'theories/Strings')

diff --git a/theories/Strings/ByteVector.v b/theories/Strings/ByteVector.v
index 16f26002d2..3588aaca3f 100644
--- a/theories/Strings/ByteVector.v
+++ b/theories/Strings/ByteVector.v
@@ -8,7 +8,7 @@
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
-Require Import Ascii Basics Bvector Psatz String Vector.
+Require Import Ascii Basics Bvector String Vector.
 Export VectorNotations.
 Open Scope program_scope.
 Open Scope string_scope.
-- 
cgit v1.2.3