From 94356f0d1fa8e671303299717f631ecf0ca2f17e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 27 May 2013 14:39:08 -0700 Subject: Several small changes to the MFS packages. --- src/opt/mfs/mfsInt.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/opt/mfs/mfsInt.h') diff --git a/src/opt/mfs/mfsInt.h b/src/opt/mfs/mfsInt.h index 23a59833..ddaa323d 100644 --- a/src/opt/mfs/mfsInt.h +++ b/src/opt/mfs/mfsInt.h @@ -114,6 +114,7 @@ struct Mfs_Man_t_ int nTimeOuts; int nTimeOutsLevel; int nDcMints; + int nMaxDivs; double dTotalRatios; // node/edge stats int nTotalNodesBeg; -- cgit v1.2.3