Added records.clear(); to HighsOptions::deleteRecords()

ERGO-Code · May 23, 2024 · 6f287a4 · 6f287a4
1 parent f4a2496
commit 6f287a4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lp_data/HighsOptions.h b/src/lp_data/HighsOptions.h
@@ -1210,6 +1210,7 @@ class HighsOptions : public HighsOptionsStruct {
 
   void deleteRecords() {
     for (size_t i = 0; i < records.size(); i++) delete records[i];
+    records.clear();
   }
 
  public: