X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmodel-checker.c;h=ee13422a046cad95519c405042e63003065db716;hb=422944fc7812cf13e616348412fecdbd85670e06;hp=c15dac9bbaf65e4363b98c252eaa18d1f5c1f345;hpb=31a3c6ef4eace636410353d32c41b2b3c6643fa5;p=pspp

diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c
index c15dac9bba..ee13422a04 100644
--- a/src/libpspp/model-checker.c
+++ b/src/libpspp/model-checker.c
@@ -886,7 +886,7 @@ struct mc_results
 static struct mc_results *
 mc_results_create (void)
 {
-  struct mc_results *results = xcalloc (1, sizeof (struct mc_results));
+  struct mc_results *results = XCALLOC (1,  struct mc_results);
   results->stop_reason = MC_CONTINUING;
   gettimeofday (&results->start, NULL);
   return results;