From 2dc2624aa5ac77bb2242a80482e21ee498b2d708 Mon Sep 17 00:00:00 2001 From: Mathieu HATON Date: Mon, 4 Dec 2023 12:55:24 +0100 Subject: [PATCH] fix: add _ to charaters allowed in modules name --- analysis/src/Utils.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/analysis/src/Utils.ml b/analysis/src/Utils.ml index 6dce76e26..7eddfa902 100644 --- a/analysis/src/Utils.ml +++ b/analysis/src/Utils.ml @@ -223,7 +223,7 @@ let cutAfterDash s = | exception Not_found -> s let fileNameHasUnallowedChars s = - let regexp = Str.regexp "[^A-Za-z0-9]" in + let regexp = Str.regexp "[^A-Za-z0-9_]" in try ignore (Str.search_forward regexp s 0); true