Skip to content

Commit 8dd86d1

Browse files
fhammerschmidtcristianoc
authored andcommitted
Fix missing nameSpaceToName call
1 parent e2810fe commit 8dd86d1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

analysis/src/FindFiles.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -100,7 +100,7 @@ let getNamespace config =
100100
if isNamespaced then
101101
let fromString = ns |> bind Json.string in
102102
let fromName = config |> Json.get "name" |> bind Json.string in
103-
either fromString fromName
103+
either fromString fromName |> Option.map nameSpaceToName
104104
else None
105105

106106
let collectFiles directory =

0 commit comments

Comments
 (0)