X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=96c1ec78a60ca343400c309b2e756ae53fb39967;hb=ea4611c1fc3b580020afbc04d531e4bc10fcca9c;hp=ae9706b124067e18e5098e0fbd7e7859fce05d73;hpb=e6789461057e3395ba78575b85c114b553f4ed19;p=model-checker.git

diff --git a/model.h b/model.h
index ae9706b..96c1ec7 100644
--- a/model.h
+++ b/model.h
@@ -42,6 +42,7 @@ struct model_params {
 	unsigned int fairwindow;
 	unsigned int enabledcount;
 	unsigned int bound;
+	unsigned int uninitvalue;
 
 	/** @brief Maximum number of future values that can be sent to the same
 	 *  read */