Safely join paths in main.cpp.

BlueBrain · Oct 2, 2024 · 36b8208 · 36b8208
1 parent 0c90584
commit 36b8208
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/src/main.cpp b/src/main.cpp
@@ -406,11 +406,9 @@ int run_nmodl(int argc, const char* argv[]) {
         ast_to_nmodl(*ast, filepath("ast"));
 
         if (json_ast) {
-            std::string file{scratch_dir};
-            file += "/";
-            file += modfile;
-            file += ".ast.json";
-            logger->info("Writing AST into {}", file);
+            std::filesystem::path file{scratch_dir};
+            file /=  modfile + ".ast.json";
+            logger->info("Writing AST into {}", file.string());
             JSONVisitor(file).write(*ast);
         }