Skip to content

Commit

Permalink
Not necessary anymore with latest editor tooling
Browse files Browse the repository at this point in the history
  • Loading branch information
jfrolich committed Aug 30, 2024
1 parent 801db86 commit 59b40ee
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/build/compile.rs
Original file line number Diff line number Diff line change
Expand Up @@ -575,7 +575,7 @@ fn compile_file(
// because editor tooling doesn't support namespace entries yet
// we just remove the @ for now. This makes sure the editor support
// doesn't break
.join(module_name.to_owned().replace('@', "") + ".cmi"),
.join(module_name.to_owned() + ".cmi"),
);
let _ = std::fs::copy(
build_path_abs.to_string() + "/" + &module_name + ".cmj",
Expand All @@ -590,7 +590,7 @@ fn compile_file(
// because editor tooling doesn't support namespace entries yet
// we just remove the @ for now. This makes sure the editor support
// doesn't break
.join(module_name.to_owned().replace('@', "") + ".cmt"),
.join(module_name.to_owned() + ".cmt"),
);
} else {
let _ = std::fs::copy(
Expand Down

0 comments on commit 59b40ee

Please sign in to comment.