From 6b07ea879acea3b982a040856417604c96159391 Mon Sep 17 00:00:00 2001
From: Stefan Vigerske <svigerske@gams.com>
Date: Wed, 8 Jul 2026 17:29:22 +0200
Subject: [PATCH 1/2] remove unused variable record_int64

---
 highs/lp_data/HighsRunData.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/highs/lp_data/HighsRunData.h b/highs/lp_data/HighsRunData.h
index 74ab3b194b4..bbce93b71be 100644
--- a/highs/lp_data/HighsRunData.h
+++ b/highs/lp_data/HighsRunData.h
@@ -147,7 +147,6 @@ class HighsRunData : public HighsRunDataStruct {
   }
 
   void initRecords() {
-    RunDataRecordInt64* record_int64;
     RunDataRecordInt* record_int;
     RunDataRecordDouble* record_double;
     const bool advanced = false;  // Not used

From bcd7231e880122170e0a33cfad51c79d25982584 Mon Sep 17 00:00:00 2001
From: Stefan Vigerske <svigerske@gams.com>
Date: Wed, 8 Jul 2026 17:29:32 +0200
Subject: [PATCH 2/2] initialize numSetPackingRows

---
 highs/presolve/HighsSymmetry.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/highs/presolve/HighsSymmetry.h b/highs/presolve/HighsSymmetry.h
index 07f1e7eb23b..3aac69b57b1 100644
--- a/highs/presolve/HighsSymmetry.h
+++ b/highs/presolve/HighsSymmetry.h
@@ -84,7 +84,7 @@ struct HighsOrbitopeMatrix {
   };
   HighsInt rowLength;
   HighsInt numRows;
-  HighsInt numSetPackingRows;
+  HighsInt numSetPackingRows = 0;
   HighsHashTable<HighsInt, HighsInt> columnToRow;
   std::vector<RowPackingStatus> rowIsSetPacking;
   std::vector<HighsInt> matrix;