domains work

[pspp] / src / libpspp / model-checker.c

diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c
index c15dac9bbaf65e4363b98c252eaa18d1f5c1f345..ee13422a046cad95519c405042e63003065db716 100644 (file)
--- 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;