diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2019-04-26 16:35:42 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2019-04-26 16:35:42 -0400 |
| commit | efdf63a5dd1dfbd4bafc121224c64822530185fe (patch) | |
| tree | 633f4e1a254c0f15864b848fa4c1063a44b2c350 /_CoqProject | |
| parent | d20b2cbc862fb35b5e059cbfafaaa9360fb6afce (diff) | |
Remove WordUtil
Remove Util/NUtil.v and Util/WordUtil.v. This code is no longer in use.
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index 40df1fb72..6e7e43e64 100644 --- a/_CoqProject +++ b/_CoqProject @@ -151,7 +151,6 @@ src/Util/LetInMonad.v src/Util/ListUtil.v src/Util/Logic.v src/Util/Loops.v -src/Util/NUtil.v src/Util/NatUtil.v src/Util/Notations.v src/Util/NumTheoryUtil.v @@ -177,7 +176,6 @@ src/Util/TagList.v src/Util/Tower.v src/Util/Tuple.v src/Util/Unit.v -src/Util/WordUtil.v src/Util/ZBounded.v src/Util/ZRange.v src/Util/ZUtil.v |