From ffbc13730b3f03c73cb8016a164860a9d70795bf Mon Sep 17 00:00:00 2001 From: Florian Hammerschmidt Date: Fri, 22 Jul 2022 23:57:52 +0200 Subject: [PATCH] Fix missing nameSpaceToName call --- analysis/src/FindFiles.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/analysis/src/FindFiles.ml b/analysis/src/FindFiles.ml index 61d541383..8dc9948f4 100644 --- a/analysis/src/FindFiles.ml +++ b/analysis/src/FindFiles.ml @@ -100,7 +100,7 @@ let getNamespace config = if isNamespaced then let fromString = ns |> bind Json.string in let fromName = config |> Json.get "name" |> bind Json.string in - either fromString fromName + either fromString fromName |> Option.map nameSpaceToName else None let collectFiles directory =