X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.cc;h=e3d9203eea60ec53010d67bb87da20331cfbf642;hp=21b2b77b16c83cced2f13730e8f0ac2e59bcc577;hb=a27eec056d90e248a071bea6912e5ab09dea8242;hpb=e44b9753a9b616cba58c2fb0583b876e3d4006ae

diff --git a/model.cc b/model.cc
index 21b2b77..e3d9203 100644
--- a/model.cc
+++ b/model.cc
@@ -199,7 +199,7 @@ bool ModelChecker::next_execution()
 	if (isfinalfeasible()) {
 		printf("Earliest divergence point since last feasible execution:\n");
 		if (earliest_diverge)
-			earliest_diverge->print(false);
+			earliest_diverge->print();
 		else
 			printf("(Not set)\n");