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");