X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=6ea6b92927c4ddebabe5b690b13800667a70fd08;hb=84d0cd2f078f4cb15c318a0fef2515feab570375;hp=5922a32d19f63491d556a275cb2d25be5bf510da;hpb=4ee37711afd0de98bc757ed4853a81d66a6a1533;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index 5922a32..6ea6b92 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -135,7 +135,7 @@ void * HandleEarlyAllocationRequest(size_t sz)
 	sz = (sz + 7) & ~7;
 
 	if (sz > (BOOTSTRAPBYTES-offset)) {
-		printf("OUT OF BOOTSTRAP MEMORY\n");
+		model_print("OUT OF BOOTSTRAP MEMORY\n");
 		exit(EXIT_FAILURE);
 	}