--- azove.cpp.orig 2007-04-07 07:16:25.000000000 -0600
+++ azove.cpp 2020-03-18 16:24:44.740182853 -0600
@@ -300,6 +300,7 @@ void azove::buildConstraintBDDs(void){
//-----------------------------------------------------------------------------------
void azove::andBDDs(void){
+#if 0
FILE* pf = fopen("/proc/meminfo", "r");
if(pf){
unsigned int memtotal = 0;
@@ -324,10 +325,13 @@ void azove::andBDDs(void){
fclose(pf);
}
else{
+#endif
#define FIXED_MDDNODEBASESIZE 10000000
sigMDDnodeBaseSize = FIXED_MDDNODEBASESIZE;
+#if 0
cerr<<"/proc/meminfo not found! Using fixed number of signature nodes."<<endl;
}
+#endif
cerr<<"Allocating "<<sigMDDnodeBaseSize<<" signature nodes... ";
sigMDDnodeBase = new sigMDDnode[sigMDDnodeBaseSize];
cerr<<"done"<<endl;