minor

ahmed-irfan · ahmed-irfan · commit 4fe5486259fe · 2025-07-14T15:37:19.000-07:00
diff --git a/src/frontend/smt2/smt2_commands.c b/src/frontend/smt2/smt2_commands.c
@@ -3248,7 +3248,7 @@ static void validate_unsat_core(smt2_globals_t *g) {
       fflush(stdout);
     } else {
       status = check_context(g->ctx, &g->parameters);
-      if (status != STATUS_UNSAT) {
+      if (status != YICES_STATUS_UNSAT) {
         printf("**** BUG: INVALID UNSAT CORE ****\n");
         fflush(stdout);
       }

Original file line number	Diff line number	Diff line change
`@@ -3248,7 +3248,7 @@ static void validate_unsat_core(smt2_globals_t *g) {`
`3248`	`3248`	`fflush(stdout);`
`3249`	`3249`	`} else {`
`3250`	`3250`	`status = check_context(g->ctx, &g->parameters);`
`3251`		`- if (status != STATUS_UNSAT) {`
	`3251`	`+ if (status != YICES_STATUS_UNSAT) {`
`3252`	`3252`	`printf("** BUG: INVALID UNSAT CORE **\n");`
`3253`	`3253`	`fflush(stdout);`
`3254`	`3254`	`}`