X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=blobdiff_plain;f=src%2Flibpspp%2Fmodel-checker.h;h=a7372f8d3faf6066435064372c3279eedc970031;hp=205c3fac9a3713a806e31675083ccc55ee947fb0;hb=1d68fabd9a00b483ac3dc2410ec4d6d4a24e256d;hpb=0d3402b7f5f8649a5f6da491c7da88a7a05d3d3a

diff --git a/src/libpspp/model-checker.h b/src/libpspp/model-checker.h
index 205c3fac..a7372f8d 100644
--- a/src/libpspp/model-checker.h
+++ b/src/libpspp/model-checker.h
@@ -427,6 +427,11 @@ void mc_options_set_progress_func (struct mc_options *, mc_progress_func *);
 
 void *mc_options_get_aux (const struct mc_options *);
 void mc_options_set_aux (struct mc_options *, void *aux);
+
+struct argv_parser;
+void mc_options_register_argv_parser (struct mc_options *,
+                                      struct argv_parser *);
+void mc_options_usage (void);
 
 /* Reason that a model checking run terminated. */
 enum mc_stop_reason