diff --git a/tests/api/test_model_hint.c b/tests/api/test_model_hint.c
index 8e173f84f..1734f174f 100644
--- a/tests/api/test_model_hint.c
+++ b/tests/api/test_model_hint.c
@@ -267,7 +267,7 @@ void check_simple(void) {
 }
 
 int main(void) {  
-  if (yices_has_mcsat()) {
+  if (!yices_has_mcsat()) {
     return 1; // skipped
   }