From 2d3e0d76f9f444529e1f01a3ee80d86fb8ad6a9f Mon Sep 17 00:00:00 2001
From: Thomas Wies <wies@cs.nyu.edu>
Date: Fri, 22 Nov 2024 11:50:43 -0500
Subject: [PATCH] fix file paths for unit tests

---
 bin/raven.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/raven.ml b/bin/raven.ml
index 8e309d9..3dddd78 100644
--- a/bin/raven.ml
+++ b/bin/raven.ml
@@ -190,10 +190,10 @@ let parse_and_check_all config file_names =
       (Set.empty (module String))
       (List.rev_map ~f:(fun file_name ->
              let norm_dir = normalizeFilename (Unix.getcwd ()) config.base_dir in
-             let file_name = normalizeFilename norm_dir file_name in
+             let norm_file_name = normalizeFilename norm_dir file_name in
              let file_dir  =
                if String.(config.base_dir <> "") then norm_dir
-               else Stdlib.Filename.dirname file_name
+               else Stdlib.Filename.dirname norm_file_name
              in
              (file_dir, file_name, false)) file_names)
       empty_prog