From 54a88659aedb098014cfc03ba3ca627647dfc665 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 13 Feb 2018 17:16:06 -0500
Subject: Add some string utility functions

---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 3af6c47ed..ed4cabd28 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6502,11 +6502,13 @@ src/Util/SideConditions/RingPackage.v
 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/Decimal.v
 src/Util/Strings/Equality.v
 src/Util/Strings/Hex.v
 src/Util/Strings/Octal.v
+src/Util/Strings/String.v
 src/Util/Tactics/BreakMatch.v
 src/Util/Tactics/CacheTerm.v
 src/Util/Tactics/ChangeInAll.v
-- 
cgit v1.2.3