From 88b027ecce7a3c07f5b234c61d32a78c21255a66 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 29 Oct 2015 13:32:58 +0000
Subject: [PATCH] Eliminated unused variable from C example.

---
 examples/c/test_capi.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/c/test_capi.c b/examples/c/test_capi.c
index cb63fe623..11306a98b 100644
--- a/examples/c/test_capi.c
+++ b/examples/c/test_capi.c
@@ -2610,7 +2610,7 @@ void fpa_example() {
     Z3_context ctx;
     Z3_sort double_sort, rm_sort;
     Z3_symbol s_rm, s_x, s_y, s_x_plus_y;
-    Z3_ast rm, x, y, n, x_plus_y, c1, c2, c3, c4, c5, c6;
+    Z3_ast rm, x, y, n, x_plus_y, c1, c2, c3, c4, c5;
 	Z3_ast args[2], args2[2], and_args[3], args3[3];
 
     printf("\nFPA-example\n");