Update issue_486.c

SRI-CSL · Apr 4, 2024 · db309b8 · db309b8
1 parent 15559db
commit db309b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/api/issue_486.c b/tests/api/issue_486.c
@@ -29,7 +29,7 @@ static context_t *make_mcsat_context(void) {
 int
 main(void)
 {
-  if (yices_has_mcsat()) {
+  if (!yices_has_mcsat()) {
     return 1; //skipped
   }