From 59b40eee1b4f646c65667118c2f8f88d14f576c7 Mon Sep 17 00:00:00 2001 From: Jaap Frolich Date: Fri, 30 Aug 2024 22:53:25 +0200 Subject: [PATCH] Not necessary anymore with latest editor tooling --- src/build/compile.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/build/compile.rs b/src/build/compile.rs index cdf1695..49e2075 100644 --- a/src/build/compile.rs +++ b/src/build/compile.rs @@ -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", @@ -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(