Use external named props implementation

tchajed · tchajed · commit cd668580fc01 · 2021-04-18T12:04:49.000-04:00
diff --git a/.gitmodules b/.gitmodules
@@ -14,3 +14,6 @@
 [submodule "external/coq-tactical"]
 	path = external/coq-tactical
 	url = https://github.com/tchajed/coq-tactical
+[submodule "external/iris-named-props"]
+	path = external/iris-named-props
+	url = https://github.com/tchajed/iris-named-props
diff --git a/_CoqProject b/_CoqProject
@@ -13,3 +13,4 @@
 -Q external/Goose Goose
 -Q external/record-update/src RecordUpdate
 -Q external/coq-tactical/src Tactical
+-Q external/iris-named-props/src iris_named_props
diff --git a/external/iris-named-props b/external/iris-named-props
@@ -0,0 +1 @@
+Subproject commit f3526ef2a082ebdcd0cf886963b149de11ff24de
diff --git a/src/Helpers/NamedProps.v b/src/Helpers/NamedProps.v
