Bugfix: create_directory -> create_directories

marek-trtik · marek-trtik · commit a29d8d39fb58 · 2018-01-15T09:42:18.000Z
diff --git a/src/summaries/summary_dump.cpp b/src/summaries/summary_dump.cpp
@@ -743,7 +743,7 @@ std::string  dump_goto_program_in_html(
   const std::vector<irep_idt> &inverted_functions_topological_order,
   const boost::filesystem::path &dump_root_directory)
 {
-  boost::filesystem::create_directory(dump_root_directory);
+  boost::filesystem::create_directories(dump_root_directory);
 
   namespacet const  ns(program.symbol_table);
   goto_functionst::function_mapt const&  functions =

Original file line number	Diff line number	Diff line change
`@@ -743,7 +743,7 @@ std::string dump_goto_program_in_html(`
`743`	`743`	`const std::vector<irep_idt> &inverted_functions_topological_order,`
`744`	`744`	`const boost::filesystem::path &dump_root_directory)`
`745`	`745`	`{`
`746`		`- boost::filesystem::create_directory(dump_root_directory);`
	`746`	`+ boost::filesystem::create_directories(dump_root_directory);`
`747`	`747`
`748`	`748`	`namespacet const ns(program.symbol_table);`
`749`	`749`	`goto_functionst::function_mapt const& functions =`