Removed extraneous Filename.quote

darrenldl · Oct 28, 2024 · 033e44d · 033e44d
1 parent 0e1778f
commit 033e44d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/bin/path_open.ml b/bin/path_open.ml
@@ -129,7 +129,6 @@ let pdf index ~path ~search_result =
   Proc_utils.run_in_background cmd |> ignore
 
 let text index document_src ~editor ~path ~search_result =
-  let path = Filename.quote path in
   let fallback = Fmt.str "%s %s" editor path in
   let cmd =
     match search_result with