Remove unnecessary std.

aibasel · Jul 12, 2024 · 2068ea6 · 2068ea6
1 parent 0f6de99
commit 2068ea6
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
@@ -385,7 +385,7 @@ int DefaultValueAxiomsTask::get_num_axioms() const {
 }
 
 shared_ptr<AbstractTask> get_default_value_axioms_task_if_needed(
-    const std::shared_ptr<AbstractTask> &task,
+    const shared_ptr<AbstractTask> &task,
     bool simple_default_value_axioms) {
     TaskProxy proxy(*task);
     if (task_properties::has_axioms(proxy)) {