--- Bonmin-1.8.7/src/Interfaces/BonOsiTMINLPInterface.cpp.orig	2015-01-20 03:33:55.000000000 -0700
+++ Bonmin-1.8.7/src/Interfaces/BonOsiTMINLPInterface.cpp	2019-06-20 10:31:14.486759607 -0600
@@ -1853,7 +1853,7 @@ OsiTMINLPInterface::getConstraintsViolat
       if(rowLower[i] > -1e10)
          rowViolation = std::max(0.,rowLower[i] - g[i]);
 
-      if(rowUpper[i] < 1e10);
+      if(rowUpper[i] < 1e10)
         rowViolation = std::max(rowViolation, g[i] - rowUpper[i]);
 
       norm = rowViolation > norm ? rowViolation : norm;