From 320a4b34a553f4fbf34bc4001808aa6017533880 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nathana=C3=ABl=20Courant?= <nathanael.courant@inria.fr>
Date: Mon, 22 Feb 2021 10:02:03 +0100
Subject: [PATCH] Remove paths from files produced by ocamlc

---
 .gitmodules | 2 +-
 ocaml-src   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitmodules b/.gitmodules
index 07d0a4e..8db18d7 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "ocaml-src"]
 	path = ocaml-src
-	url = https://github.com/ocaml/ocaml
+	url = https://github.com/Ekdohibs/ocaml
diff --git a/ocaml-src b/ocaml-src
index 48d0d5e..b3edd4c 160000
--- a/ocaml-src
+++ b/ocaml-src
@@ -1 +1 @@
-Subproject commit 48d0d5eacb8c49ea24fb37468517e7f86ed03574
+Subproject commit b3edd4c359d7af13344339c93b2d70bf36d931c3