From 5351640e9703167c2c2d26d358f9ee9a8b9aa010 Mon Sep 17 00:00:00 2001
From: Brenton Bostick <bostick@gmail.com>
Date: Thu, 18 Nov 2021 13:35:22 -0500
Subject: [PATCH] Fix stray semicolon in examples (#5669)

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

diff --git a/examples/c/test_capi.c b/examples/c/test_capi.c
index a9c472f37..a6fcbdb22 100644
--- a/examples/c/test_capi.c
+++ b/examples/c/test_capi.c
@@ -561,7 +561,6 @@ void display_ast(Z3_context c, FILE * out, Z3_ast v)
     }
     case Z3_QUANTIFIER_AST: {
         fprintf(out, "quantifier");
-        ;
     }
     default:
         fprintf(out, "#unknown");