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

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