Update all #include directives to the currently preferred style.
[pspp-builds.git] / src / libpspp / model-checker.h
index 205c3fac9a3713a806e31675083ccc55ee947fb0..be97d389bcc7219c8dd325e02900f829b2082077 100644 (file)
@@ -1,5 +1,5 @@
 /* PSPP - a program for statistical analysis.
-   Copyright (C) 2007, 2009 Free Software Foundation, Inc.
+   Copyright (C) 2007, 2009, 2011 Free Software Foundation, Inc.
 
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
 #include <stdio.h>
 #include <sys/time.h>
 
-#include <libpspp/compiler.h>
+#include "libpspp/compiler.h"
 
 /* An active model checking run. */
 struct mc;
@@ -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);
 \f
 /* Reason that a model checking run terminated. */
 enum mc_stop_reason