remove std

aibasel · Jul 16, 2024 · 3206332 · 3206332
1 parent 91a0836
commit 3206332
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/search/tasks/default_value_axioms_task.cc b/src/search/tasks/default_value_axioms_task.cc
@@ -404,7 +404,7 @@ void add_axioms_option_to_feature(plugins::Feature &feature) {
         "(=default) value of a derived variable can be achieved.",
         "approximate_negative_cycles");
 }
-std::tuple<AxiomHandlingType> get_axioms_arguments_from_options(
+tuple<AxiomHandlingType> get_axioms_arguments_from_options(
     const plugins::Options &opts) {
     return make_tuple<AxiomHandlingType>(
         opts.get<AxiomHandlingType>("axioms"));