Skip to content

Commit 953698c

Browse files
committed
flip logic so we only check for file existance if it looks like a valid file
1 parent c96a2d2 commit 953698c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

analysis/src/Files.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,4 +96,4 @@ let rec collect ?(checkDir = fun _ -> true) path test =
9696
else []
9797
| _ -> if test path then [path] else []
9898
99-
let isResFile path = exists path && Filename.check_suffix path ".res"
99+
let isResFile path = Filename.check_suffix path ".res" && exists path

0 commit comments

Comments
 (0)