another benchmark

[satcheck.git] / params.h

diff --git a/params.h b/params.h
index 31e92672a73f573fe0c28898ba331382dd0b38c2..7f2e3cf6299fd4db469ca51a1a6c4060f7e6d70a 100644 (file)
--- a/params.h
+++ b/params.h
@@ -18,12 +18,12 @@ struct model_params {
        /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
        int verbose;
 
-       /** @brief Avoid executiny yields. */
-       bool noyields;
+       /** @brief Avoid executing yields. */
+       bool noexecyields;
 
        /** @brief Only explore branches. */
        bool branches;
-       
+
        /** @brief Command-line argument count to pass to user program */
        int argc;
 
@@ -31,4 +31,4 @@ struct model_params {
        char **argv;
 };
 
-#endif /* __PARAMS_H__ */
+#endif/* __PARAMS_H__ */