Update test_model_hint.c

SRI-CSL · Nov 18, 2023 · 58370b7 · 58370b7
1 parent b1c0ed4
commit 58370b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/api/test_model_hint.c b/tests/api/test_model_hint.c
@@ -46,7 +46,7 @@ static term_t make_simple_eq_constraint(term_t var[2]) {
   var[1] = y;
 
   p = yices_arith_eq_atom(x, y); // p is x = y
-  return p;    // p < 1
+  return p;
 }
 
 /*