point to my miri fork

Ellen Arteca · Ellen Arteca · commit fde4235ed5d9 · 2022-08-03T22:58:31.000Z
diff --git a/.gitmodules b/.gitmodules
@@ -41,3 +41,6 @@
 [submodule "library/backtrace"]
 	path = library/backtrace
 	url = https://github.com/rust-lang/backtrace-rs.git
+[submodule "src/tools/miri/"]
+	url = https://github.com/emarteca/miri
+	branch = matt-alloc-hacks
