From d350ce166fad377cd050d22aac30964f219756b9 Mon Sep 17 00:00:00 2001 From: nil1603 Date: Tue, 19 Sep 2023 16:14:06 +0200 Subject: [PATCH] made folder creation unique in boolean influence --- plugins/boolean_influence/src/plugin_boolean_influence.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/boolean_influence/src/plugin_boolean_influence.cpp b/plugins/boolean_influence/src/plugin_boolean_influence.cpp index eb1c80d91c5..0c419d35823 100644 --- a/plugins/boolean_influence/src/plugin_boolean_influence.cpp +++ b/plugins/boolean_influence/src/plugin_boolean_influence.cpp @@ -245,7 +245,7 @@ int main(int argc, char *argv[]) { replaced_e = replaced_e.substitute(from_vec, to_vec); // translate expression into a c program - auto directory_res = utils::get_unique_temp_directory("boolean_influence/"); + auto directory_res = utils::get_unique_temp_directory("boolean_influence_"); if (directory_res.is_error()) { return ERR_APPEND(directory_res.get_error(), "unable to generate Boolean influence: could not create temporary directory");