diff --git a/lib/bap_plugins/bap_plugins.ml b/lib/bap_plugins/bap_plugins.ml index 8fddd87b2..ca22b67a8 100644 --- a/lib/bap_plugins/bap_plugins.ml +++ b/lib/bap_plugins/bap_plugins.ml @@ -237,7 +237,7 @@ module Plugins = struct | Error (name,_) -> name let collect ?env ?provides ?(library=[]) () = - let (/) = Filename.concat in + let (/) x y = x ^ "/" ^ y in let strset = Set.of_list (module String) in let provides = Option.map provides ~f:strset in let env = strset (Option.value env ~default:[]) in