From bb4d8a89f331418ff7a279fb87dbcffed5eb171e Mon Sep 17 00:00:00 2001
From: Christopher Zimmermann <madroach@gmerlin.de>
Date: Thu, 7 Mar 2019 12:40:52 +0100
Subject: [PATCH] don't use Compenv.module_of_filename

this simple implementation is good enough for us.
---
 src/unlabel.ml | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/unlabel.ml b/src/unlabel.ml
index ad1076ef..ff36245a 100644
--- a/src/unlabel.ml
+++ b/src/unlabel.ml
@@ -93,13 +93,9 @@ let () =
   let   labelled_filename = Sys.argv.(1) in (* CCArrayLabels.mli *)
   let unlabelled_filename = Sys.argv.(2) in (* CCArray.ml *)
   let labelled_name = (* ArrayLabels *)
-    let basename =
-      Compenv.module_of_filename Format.err_formatter
-        labelled_filename
-        labelled_filename
-    in
-    assert (basename.[0] = 'C' && basename.[1] = 'C');
-    String.sub basename 2 (String.length basename - 2)
+    assert (labelled_filename.[0] = 'C' && labelled_filename.[1] = 'C');
+    let dot = String.rindex labelled_filename '.' in
+    String.sub labelled_filename 2 (dot - 2)
   in
   let unlabelled_name = (* Array *)
     replace_first "Labels" "" labelled_name