Index: ../trunk-jpl/src/m/solve/marshall.py
===================================================================
--- ../trunk-jpl/src/m/solve/marshall.py	(revision 16513)
+++ ../trunk-jpl/src/m/solve/marshall.py	(revision 16514)
@@ -41,6 +41,9 @@
 		#print "marshalling %s ..." % field
 		exec("md.%s.marshall(md,fid)" % field)
 
+	#Last, write MaximumNumberOfEnum+1 to make sure that the binary file is not corrupt
+	WriteData(fid,'enum',MaximumNumberOfDefinitionsEnum()+1,'data',True,'format','Boolean');
+
 	#close file
 	try:
 		fid.close()
Index: ../trunk-jpl/src/m/solve/marshall.m
===================================================================
--- ../trunk-jpl/src/m/solve/marshall.m	(revision 16513)
+++ ../trunk-jpl/src/m/solve/marshall.m	(revision 16514)
@@ -38,6 +38,9 @@
 	marshall(md.(field),md,fid);
 end
 
+%Last, write MaximumNumberOfEnum+1 to make sure that the binary file is not corrupt
+WriteData(fid,'enum',MaximumNumberOfDefinitionsEnum()+1,'data',true,'format','Boolean');
+
 %close file
 st=fclose(fid);
 if st==-1,