From fa285214feba800409162ca4552626456e16a1db Mon Sep 17 00:00:00 2001
From: Simon Dold <simon.dold@stud.unibas.ch>
Date: Thu, 8 Feb 2024 20:55:21 +0100
Subject: [PATCH] [issue1082] remove unused field.

---
 src/search/operator_counting/operator_counting_heuristic.cc | 1 -
 src/search/operator_counting/operator_counting_heuristic.h  | 1 -
 2 files changed, 2 deletions(-)

diff --git a/src/search/operator_counting/operator_counting_heuristic.cc b/src/search/operator_counting/operator_counting_heuristic.cc
index b8ff3dc55a..65ba32645c 100644
--- a/src/search/operator_counting/operator_counting_heuristic.cc
+++ b/src/search/operator_counting/operator_counting_heuristic.cc
@@ -20,7 +20,6 @@ OperatorCountingHeuristic::OperatorCountingHeuristic(
     utils::Verbosity verbosity)
     : Heuristic(transform, cache_estimates, description, verbosity),
       constraint_generators(constraint_generators),
-      use_integer_operator_counts(use_integer_operator_counts),
       lp_solver(lp_solver_type) {
     lp_solver.set_mip_gap(0);
     named_vector::NamedVector<lp::LPVariable> variables;
diff --git a/src/search/operator_counting/operator_counting_heuristic.h b/src/search/operator_counting/operator_counting_heuristic.h
index d7fdea3825..37b1268715 100644
--- a/src/search/operator_counting/operator_counting_heuristic.h
+++ b/src/search/operator_counting/operator_counting_heuristic.h
@@ -17,7 +17,6 @@ class ConstraintGenerator;
 
 class OperatorCountingHeuristic : public Heuristic {
     std::vector<std::shared_ptr<ConstraintGenerator>> constraint_generators;
-    const bool use_integer_operator_counts;
     lp::LPSolver lp_solver;
 protected:
     virtual int compute_heuristic(const State &ancestor_state) override;