diff --git a/src/constraint_solver/expressions.cc b/src/constraint_solver/expressions.cc index 7dba953b82..ec7747f382 100644 --- a/src/constraint_solver/expressions.cc +++ b/src/constraint_solver/expressions.cc @@ -4149,7 +4149,8 @@ class BasePower : public BaseIntExpr { : BaseIntExpr(s), expr_(e), pow_(n), - limit_(static_cast(floor(exp(log(kint64max) / pow_)))) {} + limit_(static_cast( + floor(exp(log(static_cast(kint64max)) / pow_)))) {} virtual ~BasePower() {}