From fbae55070d95ae1d25a28a5362ef623c88d6e5ae Mon Sep 17 00:00:00 2001 From: "e.tatuzova" Date: Mon, 17 Jul 2023 20:20:03 +0400 Subject: [PATCH] Copy public input file to output folder #160 --- bin/transpiler/src/main.cpp | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/bin/transpiler/src/main.cpp b/bin/transpiler/src/main.cpp index 1773c788..037c8ab6 100644 --- a/bin/transpiler/src/main.cpp +++ b/bin/transpiler/src/main.cpp @@ -331,11 +331,7 @@ int main(int argc, char *argv[]) { std::cerr << "Invalid command line argument - public input file does not exist" << std::endl; return 1; } - - std::ofstream pfile; - pfile.open(output_folder_path+"/public_input.json"); - pfile << nil::blueprint::convert_numeric_public_input_to_json(public_input); - pfile.close(); + boost::filesystem::copy(public_input, output_folder_path+"/public_input.json", boost::filesystem::copy_options::overwrite_existing); } value_marshalling_type marshalled_data;