Fix compilation.

jendrikseipp · Oct 3, 2023 · 381f517 · 381f517
1 parent d903c17
commit 381f517
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/search/CMakeLists.txt b/src/search/CMakeLists.txt
@@ -978,6 +978,7 @@ create_fast_downward_library(
         operator_counting/delete_relaxation_constraints
         operator_counting/lm_cut_constraints
         operator_counting/operator_counting_heuristic
+        operator_counting/pho_abstraction_constraints
         operator_counting/pho_constraints
         operator_counting/state_equation_constraints
     DEPENDS lp_solver landmark_cut_heuristic pdbs task_properties

diff --git a/src/search/cartesian_abstractions/flaw.cc b/src/search/cartesian_abstractions/flaw.cc
@@ -9,7 +9,7 @@
 using namespace std;
 
 namespace cartesian_abstractions {
-const FlawedState FlawedState::no_state = FlawedState(-1, -1, {});
+const FlawedState FlawedState::no_state = FlawedState(-1, -1u, {});
 
 bool FlawedStates::is_consistent() const {
     return flawed_states_queue.size() == static_cast<int>(flawed_states.size());
@@ -53,7 +53,7 @@ FlawedState FlawedStates::pop_random_flawed_state_and_clear(utils::RandomNumberG
     vector<StateID> conc_states = move(random_bucket->second);
     clear();
     assert(is_consistent());
-    return FlawedState(abstract_state_id, -1, move(conc_states));
+    return FlawedState(abstract_state_id, -1u, move(conc_states));
 }
 
 int FlawedStates::num_abstract_states() const {