From ccc79730a7585a3ce952c27d347b194562f4f473 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 9 Apr 2018 14:08:39 -0400 Subject: Update number/string conversions To updated version of https://github.com/coq/coq/pull/6597 --- _CoqProject | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 31249c067..4e5f33519 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6513,11 +6513,11 @@ src/Util/Sigma/Associativity.v src/Util/Sigma/Lift.v src/Util/Sigma/MapProjections.v src/Util/Strings/Ascii.v -src/Util/Strings/Binary.v +src/Util/Strings/BinaryString.v src/Util/Strings/Decimal.v src/Util/Strings/Equality.v -src/Util/Strings/Hex.v -src/Util/Strings/Octal.v +src/Util/Strings/HexString.v +src/Util/Strings/OctalString.v src/Util/Strings/String.v src/Util/Tactics/BreakMatch.v src/Util/Tactics/CacheTerm.v -- cgit v1.2.3