From 58370b78c0fc7f7a2a6913aa37eac9084221bb63 Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Sat, 18 Nov 2023 13:57:19 -0800
Subject: [PATCH] Update test_model_hint.c

---
 tests/api/test_model_hint.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/api/test_model_hint.c b/tests/api/test_model_hint.c
index 2c0a8611e..58b3087fe 100644
--- 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;
 }
 
 /*