X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=params.h;h=7f2e3cf6299fd4db469ca51a1a6c4060f7e6d70a;hb=HEAD;hp=78cedcbc1d925249f9dbd43158109ab67d3c36e5;hpb=086658309f67c28dc254b06bda5bafa8c3e191d6;p=satcheck.git

diff --git a/params.h b/params.h
index 78cedcb..7f2e3cf 100644
--- 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;