[issue1134] Remove redundant string initialization and make variable …

…explicitily unused.
aibasel · Feb 6, 2024 · ff9e91c · ff9e91c
1 parent 5596fbe
commit ff9e91c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/search/algorithms/named_vector.h b/src/search/algorithms/named_vector.h
@@ -67,7 +67,7 @@ class NamedVector {
               All unspecified names are empty by default. We use a static
               string here to avoid returning a reference to a local object.
             */
-            static std::string empty = "";
+            static std::string empty;
             return empty;
         }
     }

diff --git a/src/search/operator_counting/delete_relaxation_constraints_rr.cc b/src/search/operator_counting/delete_relaxation_constraints_rr.cc
@@ -237,6 +237,7 @@ DeleteRelaxationConstraintsRR::create_auxiliary_variables(
 void DeleteRelaxationConstraintsRR::create_auxiliary_variables_ve(
     const TaskProxy &task_proxy, const VEGraph &ve_graph, LPVariables &variables,
     DeleteRelaxationConstraintsRR::LPVariableIDs &lp_var_ids) const {
+    utils::unused_variable(task_proxy);
     // Add e_{i,j} variables.
     for (pair<FactPair, FactPair> edge : ve_graph.get_edges()) {
         lp_var_ids.e_ids[edge] = variables.size();