From 85b4fc18658ed500bd2c8f5d587a2b409d6c8f47 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 23 Aug 2020 10:47:39 -0700
Subject: [PATCH] void

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 examples/c/test_capi.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/examples/c/test_capi.c b/examples/c/test_capi.c
index 57b9fc838..4ebe7c314 100644
--- a/examples/c/test_capi.c
+++ b/examples/c/test_capi.c
@@ -1539,6 +1539,7 @@ void two_contexts_example1()
     x1 = Z3_mk_const(ctx1, Z3_mk_int_symbol(ctx1,0), Z3_mk_bool_sort(ctx1));
     x2 = Z3_mk_const(ctx2, Z3_mk_int_symbol(ctx2,0), Z3_mk_bool_sort(ctx2));
 
+    (void)x1;
     Z3_del_context(ctx1);
 
     /* ctx2 can still be used. */
@@ -2104,6 +2105,7 @@ void forest_example() {
     (void)f3;
     (void)f2;
     (void)t4;
+    (void)t3;
     (void)t2;
 
     /* nil != cons(nil,nil) */