model-checker: Move summary printing function into model checker.

[pspp-builds.git] / src / libpspp / model-checker.h

diff --git a/src/libpspp/model-checker.h b/src/libpspp/model-checker.h
index 8c86fae61d3eb99f1a3956fbaebad6f0a15be0f5..f7b3bd64f5bc2ae2d9eabfc941047c27a040c40d 100644 (file)
--- a/src/libpspp/model-checker.h
+++ b/src/libpspp/model-checker.h
@@ -460,4 +460,6 @@ struct timeval mc_results_get_start (const struct mc_results *);
 struct timeval mc_results_get_end (const struct mc_results *);
 double mc_results_get_duration (const struct mc_results *);
 
+void mc_results_print (const struct mc_results *, FILE *);
+
 #endif /* libpspp/model-checker.h */