diff --git a/examples/cpp/qap_sat.cc b/examples/cpp/qap_sat.cc
index 9f4bb99b2d..e1685a4e3f 100644
--- a/examples/cpp/qap_sat.cc
+++ b/examples/cpp/qap_sat.cc
@@ -132,7 +132,7 @@ static const char kUsageStr[] =
 int main(int argc, char** argv) {
   InitGoogle(kUsageStr, &argc, &argv, /*remove_flags=*/true);
 
-  if (!absl::GetFlag(FLAGS_input).empty())) {
+  if (absl::GetFlag(FLAGS_input).empty()) {
     LOG(INFO) << "--input is required";
     return EXIT_SUCCESS;
   }
diff --git a/ortools/sat/linear_propagation.h b/ortools/sat/linear_propagation.h
index 174d0b903f..fa821d01ff 100644
--- a/ortools/sat/linear_propagation.h
+++ b/ortools/sat/linear_propagation.h
@@ -195,8 +195,10 @@ class LinearPropagator : public PropagatorInterface, ReversibleInterface {
     int rev_size;          // The size of the non-fixed terms.
     IntegerValue rev_rhs;  // The current rhs, updated on fixed terms.
   };
+  #if !defined(_MSC_VER)
   static_assert(sizeof(ConstraintInfo) == 24,
                 "ERROR_ConstraintInfo_is_not_well_compacted");
+  #endif
 
   absl::Span<IntegerValue> GetCoeffs(const ConstraintInfo& info);
   absl::Span<IntegerVariable> GetVariables(const ConstraintInfo& info);