From d20b2cbc862fb35b5e059cbfafaaa9360fb6afce Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@google.com>
Date: Fri, 26 Apr 2019 16:33:54 -0400
Subject: Remove BoundedWord

Remove Util/BoundedWord.v and its reverse dependencies
Util/FixedWordSizes.v and Util/FixedWordSizesEquality.v. This code is no
longer in use.
---
 _CoqProject | 3 ---
 1 file changed, 3 deletions(-)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index f8e005119..40df1fb72 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -128,7 +128,6 @@ src/Util/AdditionChainExponentiation.v
 src/Util/Arg.v
 src/Util/AutoRewrite.v
 src/Util/Bool.v
-src/Util/BoundedWord.v
 src/Util/CPSNotations.v
 src/Util/CPSUtil.v
 src/Util/ChangeInAll.v
@@ -140,8 +139,6 @@ src/Util/Equality.v
 src/Util/ErrorT.v
 src/Util/Factorize.v
 src/Util/FixCoqMistakes.v
-src/Util/FixedWordSizes.v
-src/Util/FixedWordSizesEquality.v
 src/Util/FsatzAutoLemmas.v
 src/Util/GlobalSettings.v
 src/Util/HList.v
-- 
cgit v1.2.3