From 27708420a179fa5810a0da8aafd4785e439b0987 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 15 Jan 2019 15:08:21 -0500
Subject: Move StringMap into Strings/

---
 src/Util/Strings/StringMap.v | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 src/Util/Strings/StringMap.v

(limited to 'src/Util/Strings')

diff --git a/src/Util/Strings/StringMap.v b/src/Util/Strings/StringMap.v
new file mode 100644
index 000000000..4a7d0ba1a
--- /dev/null
+++ b/src/Util/Strings/StringMap.v
@@ -0,0 +1,6 @@
+Require Import Coq.FSets.FMapList.
+Require Import Coq.Structures.OrderedType.
+Require Import Coq.Strings.String.
+Require Import Crypto.Util.Strings.String_as_OT.
+
+Module StringMap := FMapList.Make String_as_OT.
-- 
cgit v1.2.3