Fix yield bug

[satcheck.git] / main.cc

diff --git a/main.cc b/main.cc
index 48ec61fc8f9535fbb2b7ee73d6672740ce41be7c..2b619a6debe4b5c0b9d715813780f47d0ed0adc6 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -27,7 +27,7 @@
 static void param_defaults(struct model_params *params)
 {
        params->branches = false;
-       params->noyields = false;
+       params->noexecyields = false;
        params->verbose = !!DBG_ENABLED();
 }
 
@@ -67,7 +67,7 @@ static void parse_options(struct model_params *params, int argc, char **argv)
                        params->branches = true;
                        break;
                case 'Y':
-                       params->noyields = true;
+                       params->noexecyields = true;
                        break;
                case 'v':
                        params->verbose = optarg ? atoi(optarg) : 1;