Change expshift type from HighsInt to int

Opt-Mucca · Opt-Mucca · commit 558e02bf7d09 · 2025-08-22T10:00:18.000+02:00
diff --git a/highs/mip/HighsRedcostFixing.cpp b/highs/mip/HighsRedcostFixing.cpp
@@ -213,7 +213,7 @@ void HighsRedcostFixing::addRootRedcost(const HighsMipSolver& mipsolver,
     }
   }
   HighsInt maxNumStepsExp = 10;
-  HighsInt expshift = 0;
+  int expshift = 0;
   std::frexp(numRedcostLargeDomainCols / 10, &expshift);
   if (expshift > 5) {
     expshift = std::min(expshift, maxNumStepsExp);

Original file line number	Diff line number	Diff line change
`@@ -213,7 +213,7 @@ void HighsRedcostFixing::addRootRedcost(const HighsMipSolver& mipsolver,`
`213`	`213`	`}`
`214`	`214`	`}`
`215`	`215`	`HighsInt maxNumStepsExp = 10;`
`216`		`- HighsInt expshift = 0;`
	`216`	`+ int expshift = 0;`
`217`	`217`	`std::frexp(numRedcostLargeDomainCols / 10, &expshift);`
`218`	`218`	`if (expshift > 5) {`
`219`	`219`	`expshift = std::min(expshift, maxNumStepsExp);`