fix a warning in an api test (#489)

SRI-CSL · Feb 20, 2024 · 6771f95 · 6771f95
1 parent ecac3fd
commit 6771f95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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");