Fix yield bug

[satcheck.git] / params.h

diff --git a/params.h b/params.h
index 78cedcbc1d925249f9dbd43158109ab67d3c36e5..7f2e3cf6299fd4db469ca51a1a6c4060f7e6d70a 100644 (file)
--- a/params.h
+++ b/params.h
@@ -18,8 +18,8 @@ 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;