From 6771f95df4afe1e9a6a1ad512dc0f87699494866 Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Tue, 20 Feb 2024 11:28:28 -0800
Subject: [PATCH] fix a warning in an api test (#489)

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

diff --git a/tests/api/balanced_arith_buffers.c b/tests/api/balanced_arith_buffers.c
index e8e68b4c3..5003af2ce 100644
--- a/tests/api/balanced_arith_buffers.c
+++ b/tests/api/balanced_arith_buffers.c
@@ -29,7 +29,7 @@
 #include "yices.h"
 
 term_t
-arbitrary_expr()
+arbitrary_expr(void)
 {
     term_t t_1 = yices_new_uninterpreted_term(yices_int_type());
     yices_set_term_name(t_1, "x_in");