projects
/
pspp
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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)
{
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;
results->stop_reason = MC_CONTINUING;
gettimeofday (&results->start, NULL);
return results;